From dbd82df5af1a404c378f872abfa0394c80553883 Mon Sep 17 00:00:00 2001 From: Mario Zechner Date: Fri, 9 Jan 2026 23:11:19 +0100 Subject: [PATCH] docs: add PR workflow rules --- AGENTS.md | 5 +++++ 1 file changed, 5 insertions(+) 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