egutierrez dfcb3c46a7 fix(infra): full_git_push auto-init handles .git without origin ...

Auto-init step skipped any dir with .git present, even when it lacked
an origin remote. Such dirs fell through to push step and failed with
"'origin' does not appear to be a git repository". Now skip only when
.git AND origin exist; otherwise run ensure_repo_synced to create the
Gitea repo + add origin + push.

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

2026-05-30 17:34:21 +02:00

..

functions

fix(infra): full_git_push auto-init handles .git without origin

2026-05-30 17:34:21 +02:00