From 22b133ebde5fdc6ab4866873d9637d3f2cddedb6 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 14 Mar 2026 13:48:14 +0000
Subject: [PATCH 1/2] Initial plan


From a88bf1eec11d00a4d2c6284e404cf8298a5d7ea0 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 14 Mar 2026 13:51:39 +0000
Subject: [PATCH 2/2] docs: add mandatory pull request instruction to AGENTS.md
 for GitHub Copilot coding agent

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
---
 AGENTS.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/AGENTS.md b/AGENTS.md
index 69cb7b0d95d..9b04275a5b2 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -30,6 +30,14 @@ Each skill provides focused guidance on specific topics. Reference them only as
 
 ## Critical Requirements
 
+### ⚠️ 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.**
+
+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 PRE-COMMIT VALIDATION ⚠️
 
 **🚨 BEFORE EVERY COMMIT - NO EXCEPTIONS:**
@@ -1135,6 +1143,11 @@ make minor-release  # Automated via GitHub Actions
 
 ## Quick Reference for AI Agents
 
+### 🚨 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.
+
 ### 🚨 CRITICAL - Pre-Commit Checklist
 Before EVERY commit:
 1. ✅ Run `make agent-finish` (or at minimum `make fmt`)