AGENTS.md: forbid merge commits on main
This commit is contained in:
parent
5b7b5529f1
commit
79e13e0a5e
@ -132,6 +132,7 @@
|
||||
## Git Notes
|
||||
|
||||
- If `git branch -d/-D <branch>` is policy-blocked, delete the local ref directly: `git update-ref -d refs/heads/<branch>`.
|
||||
- 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
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user