feat(auth): create or clone .docker-git repo on GitHub auth#142

Merged

skulidropek merged 8 commits intoProverCoderAI:mainfrom

skulidropek:issue-141

Mar 16, 2026

Commits on Mar 16, 2026

feat(auth): create or clone .docker-git repo on GitHub auth

skulidropek
and
claude
committed
fix(state-repo): adopt remote history when local dir is non-empty git-less (issue-141)

skulidropek
and
claude
committed
fix(state-repo): realign with remote when local history has no common ancestor

skulidropek
and
claude
committed
fix(state-repo): merge unrelated histories instead of reset to preserve local history

skulidropek
and
claude
committed
fix(state-repo): abort merge on conflict and let stateSync open a PR

skulidropek
and
claude
committed
fix(state-repo): use main as default branch and set git identity

skulidropek
and
claude
committed
fix(tests): replace node:child_process and node:path with @effect/platform

skulidropek
and
claude
committed
fix(state-repo): pass auth token through stateInit and sync correctly with remote

skulidropek
and
claude
committed