Skip to content

fix(core): preserve post-push repo context for git -C push#202

Merged
skulidropek merged 3 commits intoProverCoderAI:mainfrom
skulidropek:issue-201
Mar 25, 2026
Merged

fix(core): preserve post-push repo context for git -C push#202
skulidropek merged 3 commits intoProverCoderAI:mainfrom
skulidropek:issue-201

Conversation

@skulidropek
Copy link
Contributor

Closes #201

Summary

  • resolve the effective repo root from the original git invocation before running the post-push action
  • forward that repo root via DOCKER_GIT_POST_PUSH_REPO_ROOT so session backup runs in the pushed repository instead of the caller cwd
  • keep the existing invariant that post-push backup runs only after successful non-dry-run pushes
  • add regression coverage for normal git push, git -C <repo> push, and dry-run push variants

Verification

  • pnpm install --frozen-lockfile
  • pnpm --filter ./packages/lib typecheck
  • pnpm --filter ./packages/lib test -- tests/core/templates.test.ts tests/core/git-post-push-wrapper.test.ts

@skulidropek skulidropek merged commit c613242 into ProverCoderAI:main Mar 25, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(core): preserve repo context for post-push backup on git -C push

1 participant