chore(repo): update local workflow state

2026-09-02 08:51:32 -04:00
parent 232ca72b69
commit 974d987dd5
4 changed files with 59 additions and 14 deletions
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -17,6 +17,8 @@

 - During pull-request development, add follow-up commits instead of amending existing commits.
  Preserve review history until the pull request is ready to merge.
+- When the user says a pull request is merged, clean up the local branch without waiting for an explicit request.
+  Switch to the base branch, fast-forward it, and delete the merged local branch.

 ## Forge workflow