Pr refs pull 142 head#144

Closed

skulidropek wants to merge 6 commits intoProverCoderAI:mainfrom

skulidropek:pr-refs-pull-142-head

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