Skip to content

docs: warn against git operations concurrent with tooling runs#23

Merged
REPPL merged 1 commit into
mainfrom
docs/git-concurrency-guardrail
Jul 18, 2026
Merged

docs: warn against git operations concurrent with tooling runs#23
REPPL merged 1 commit into
mainfrom
docs/git-concurrency-guardrail

Conversation

@REPPL

@REPPL REPPL commented Jul 18, 2026

Copy link
Copy Markdown
Owner

Why

Concurrent heavy git activity (a git worktree add during an in-flight go test) once corrupted the working repository's state: core.bare flipped and an isolated test fixture's git identity leaked into the local config. The code-side hardening (isolated git env in cmd/ test helpers) landed in #18; the remaining prevention item from the issue is the operational guardrail.

What

  • CONTRIBUTING.md: a paragraph in "Build, test, and checks" telling contributors to never run git-mutating operations concurrently with a tooling run against this repo.
  • AGENTS.md: the same guardrail for agents, including its practical consequence — no parallel subagents that touch git.

Closes #17

Concurrent heavy git activity (a worktree add during an in-flight go
test) once corrupted the working repo's state: core.bare flipped and an
isolated test fixture's git identity leaked into the local config. The
code-side hardening landed in #18; this records the operational
guardrail in CONTRIBUTING.md and AGENTS.md, the remaining prevention
item.

Closes #17

Assisted-by: Claude:claude-fable-5
@REPPL
REPPL enabled auto-merge (squash) July 18, 2026 13:58
@REPPL
REPPL merged commit 4146aa0 into main Jul 18, 2026
12 checks passed
@REPPL
REPPL deleted the docs/git-concurrency-guardrail branch July 18, 2026 13:59
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.

Test git identity (t) can leak into the repo under concurrent git operations

1 participant