docs: require GitHub Copilot coding agent to always create a pull request#20933
Merged
docs: require GitHub Copilot coding agent to always create a pull request#20933
Conversation
…Copilot coding agent Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Copilot
AI
changed the title
[WIP] Update agents.md with pull request instructions
docs: require GitHub Copilot coding agent to always create a pull request
Mar 14, 2026
pelikhan
approved these changes
Mar 14, 2026
Contributor
There was a problem hiding this comment.
Pull request overview
Updates AGENTS.md to make it explicit and hard to miss that the GitHub Copilot coding agent must always open/update a pull request when it has file changes, reinforcing this both in the main “Critical Requirements” and in the quick-reference checklist.
Changes:
- Added a new “
⚠️ MANDATORY: Always Create a Pull Request⚠️ ” section under “Critical Requirements”. - Added a matching “🚨 CRITICAL - Always Create a Pull Request” entry at the top of the “Quick Reference for AI Agents”.
Comments suppressed due to low confidence (1)
AGENTS.md:1149
- In the Quick Reference, this instruction appears immediately before the pre-commit checklist, but it still reads like
report_progressis the primary step. Consider explicitly saying to run the pre-commit checklist first, then usereport_progressto commit/push and update/create the PR, to avoid agents skipping validation under time pressure.
### 🚨 CRITICAL - Always Create a Pull Request
**If you are the GitHub Copilot coding agent and you have file changes, you MUST always create a pull request.**
Use **report_progress** to commit, push, and update the PR. Never leave changes uncommitted.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
You can also share your feedback on Copilot code review. Take the survey.
Comment on lines
+37
to
+39
| Use the **report_progress** tool to commit and push your changes. This will automatically create or update the pull request. | ||
|
|
||
| **Never leave file changes uncommitted.** Even for small or "obvious" changes, always use **report_progress** to push your work to a PR so it can be reviewed. |
|
|
||
| ### ⚠️ MANDATORY: Always Create a Pull Request ⚠️ | ||
|
|
||
| **🚨 IF YOU ARE THE GITHUB COPILOT CODING AGENT AND YOU HAVE FILE CHANGES, YOU MUST ALWAYS CREATE A PULL REQUEST - NO EXCEPTIONS.** |
Claude AI
added a commit
that referenced
this pull request
Mar 14, 2026
- Auto-detect GHES host from git remote when hostname is not provided - audit command: Auto-detects hostname parameter if empty - add-wizard command: Sets GH_HOST environment variable if not set - Uses existing getHostFromOriginRemote() function from pr_command.go - Resolves issue #20933: gh aw audit should auto-detect GHES and set GH_HOST - Applies to add-wizard command as requested in issue comments Fixes #20933
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Agents were not consistently creating pull requests after making changes. This adds an authoritative, hard-to-miss requirement to
AGENTS.md.Changes
### ⚠️ MANDATORY: Always Create a Pull Request ⚠️added before the pre-commit validation section; instructs agents to usereport_progressand never leave file changes uncommitted### 🚨 CRITICAL - Always Create a Pull Requestentry at the top of the quick-reference checklist for reinforcementOriginal prompt
🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.