fix(tooling): isolate git children from ambient GIT_*, and make a shared core.bare flip loud #5746
single-claim-path-guard.yml
on: pull_request
No other open PR may claim the same single-writer path
15s