fix(pipelines): full_git_push cubre TODOS los repos del registry

discover_git_repos: quitar -type d para cubrir submodulos
y worktrees (.git como archivo, no solo directorio).

full_git_push auto-init: reemplazar bucle hardcodeado
sobre apps/, analysis/, projects/*/{apps,analysis}/ por
iteracion BD-driven sobre TODOS los dir_path indexados.
Cubre cpp/apps/, projects/*/apps/ y cualquier ubicacion
futura sin tocar este codigo.

Detectaba 32 repos; ahora 33. Auto-init detecta 2 missing
(chart_demo, shaders_lab) que antes quedaban fuera.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

bash/functions/infra/discover_git_repos.sh

@@ -22,11 +22,12 @@ discover_git_repos() {
         results+=("$abs_root")
     fi
 
-    # Buscar .git/ en subdirectorios, con exclusiones
-    while IFS= read -r git_dir; do
-        local repo_dir="${git_dir%/.git}"
+    # Buscar .git en subdirectorios, con exclusiones.
+    # Sin -type d: cubre tambien .git como archivo (submodulos + worktrees).
+    while IFS= read -r git_path; do
+        local repo_dir="${git_path%/.git}"
         results+=("$repo_dir")
-    done < <(find "$abs_root" -mindepth 2 -name ".git" -type d \
+    done < <(find "$abs_root" -mindepth 2 -name ".git" \
         -not -path "*/.git/*" \
         -not -path "*/node_modules/*" \
         -not -path "*/.venv/*" \