From f940fc3fd25be21ef7c16b497cf9b9834299ccb4 Mon Sep 17 00:00:00 2001 From: alexion Date: Mon, 7 Sep 2026 22:13:50 -0400 Subject: [PATCH] docs: require pull request branches --- AGENTS.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index 169ea08..bb3f712 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -19,6 +19,8 @@ ## Pull requests +- Always create a new branch before opening a pull request. + Never open a pull request directly from a shared or existing work branch. - 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.