diff --git a/AGENTS.md b/AGENTS.md index 9381bd2b210..f6db007ad7d 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -132,6 +132,7 @@ ## Git Notes - If `git branch -d/-D ` is policy-blocked, delete the local ref directly: `git update-ref -d refs/heads/`. +- Agents MUST NOT create or push merge commits on `main`. If `main` has advanced, rebase local commits onto the latest `origin/main` before pushing. - Bulk PR close/reopen safety: if a close action would affect more than 5 PRs, first ask for explicit user confirmation with the exact PR count and target scope/query. ## Security & Configuration Tips