From fa890e3f9483d68c1afd97e4ea2440ef00c953dc Mon Sep 17 00:00:00 2001
From: Mario Zechner <badlogicgames@gmail.com>
Date: Sun, 29 Mar 2026 19:38:39 +0200
Subject: [PATCH] docs: update AGENTS instructions

---
 AGENTS.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/AGENTS.md b/AGENTS.md
index 38a32682..0ce6db2e 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -233,3 +233,6 @@ git pull --rebase && git push
 - Resolve conflicts in YOUR files only
 - If conflict is in a file you didn't modify, abort and ask the user
 - NEVER force push
+
+### User override
+If the user instructions conflict with rules set out here, ask for confirmation that they want to override the rules. Only then execute their instructions.