Skip to content

docs: require branch deletion after PR merge#150

Closed
LightAxe wants to merge 1 commit into
mainfrom
docs/branch-deletion-policy
Closed

docs: require branch deletion after PR merge#150
LightAxe wants to merge 1 commit into
mainfrom
docs/branch-deletion-policy

Conversation

@LightAxe
Copy link
Copy Markdown
Owner

Summary

  • Adds one paragraph to the Branching & PR Workflow section of AGENTS.md instructing agents (and contributors) to delete the remote branch immediately after Rob confirms merge.

Test plan

  • Docs-only change — no code affected

Add an explicit instruction to delete the remote branch immediately
after merge. Stale merged branches accumulate and obscure what's
actively in flight.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@LightAxe
Copy link
Copy Markdown
Owner Author

Closing — branch deletion policy belongs in the upstream AGENTS.md, not the public contributor guide.

@LightAxe LightAxe closed this May 26, 2026
@LightAxe LightAxe deleted the docs/branch-deletion-policy branch May 26, 2026 20:24
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.

1 participant