fix(ci): repo-health accepts platform repos and bare dev branch

Platform repos (with deploy/, cli/, monitoring/) don't need src/.
Bare dev branch is now accepted alongside dev/* versioned branches.

Authored-by: Moko Consulting

.gitea/workflows/repo-health.yml

@@ -392,13 +392,18 @@ jobs:
             exit 0
           fi
 
-          # Source directory: src/ or htdocs/ (either is valid)
+          # Source directory: src/ or htdocs/ (either is valid for extension repos)
           if [ -d "src" ]; then
             SOURCE_DIR="src"
           elif [ -d "htdocs" ]; then
             SOURCE_DIR="htdocs"
           else
-            missing_required+=("src/ or htdocs/ (source directory required)")
+            # Platform/tooling repos (deploy/, cli/, monitoring/) don't need src/
+            if [ -d "deploy" ] || [ -d "cli" ] || [ -d "monitoring" ]; then
+              SOURCE_DIR="(platform repo)"
+            else
+              missing_required+=("src/ or htdocs/ (source directory required)")
+            fi
           fi
 
           IFS=',' read -r -a required_artifacts <<< "${REPO_REQUIRED_ARTIFACTS}"
@@ -450,12 +455,8 @@ jobs:
             fi
           done < <(git branch -r --list 'origin/dev*' | sed 's/^ *//')
 
-          if [ "${#dev_paths[@]}" -eq 0 ]; then
-            missing_required+=("dev/* branch (e.g. dev/01.00.00)")
-          fi
-
-          if [ "${#dev_branches[@]}" -gt 0 ]; then
-            missing_required+=("invalid branch dev (must be dev/<version>)")
+          if [ "${#dev_paths[@]}" -eq 0 ] && [ "${#dev_branches[@]}" -eq 0 ]; then
+            missing_required+=("dev or dev/* branch")
           fi
 
           content_warnings=()