From 4ec16f3c2ef76865e64cec10a949ccbf92e542e1 Mon Sep 17 00:00:00 2001 From: Xingyao Wang Date: Tue, 15 Apr 2025 23:56:41 -0400 Subject: [PATCH] microagent: Update github.md to avoid agent marking PR as ready for review (#7873) --- microagents/knowledge/github.md | 1 + 1 file changed, 1 insertion(+) diff --git a/microagents/knowledge/github.md b/microagents/knowledge/github.md index 64d24ae58f..210ac6fc30 100644 --- a/microagents/knowledge/github.md +++ b/microagents/knowledge/github.md @@ -25,6 +25,7 @@ Here are some instructions for pushing, but ONLY do this if the user asks you to * Use the main branch as the base branch, unless the user requests otherwise * After opening or updating a pull request, send the user a short message with a link to the pull request. * Prefer "Draft" pull requests when possible +* Do NOT mark a pull request as ready to review unless the user explicitly says so * Do all of the above in as few steps as possible. E.g. you could open a PR with one step by running the following bash commands: ```bash git remote -v && git branch # to find the current org, repo and branch