diff --git a/AGENTS.md b/AGENTS.md index 4bda3095..9447e55e 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -37,6 +37,11 @@ When closing issues via commit: - Include `fixes #` or `closes #` in the commit message - This automatically closes the issue when the commit is merged +## PR Workflow +- Analyze PRs without pulling locally first +- If the user approves: create a feature branch, rebase on main, apply adjustments, commit, merge into main, push, close PR, and leave a comment in the user's tone +- Do not open a new PR for changelog-only adjustments unless explicitly requested + ## Tools - GitHub CLI for issues/PRs - Add package labels to issues/PRs: pkg:agent, pkg:ai, pkg:coding-agent, pkg:mom, pkg:pods, pkg:tui, pkg:web-ui