From 3afccf03516738de737115f161df57df0badd17b Mon Sep 17 00:00:00 2001
From: Stanislas Lange <git@slange.me>
Date: Sat, 13 Dec 2025 14:33:59 +0100
Subject: [PATCH] Add AGENTS.md

---
 AGENTS.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 AGENTS.md

diff --git a/AGENTS.md b/AGENTS.md
new file mode 100644
index 0000000..16cca5e
--- /dev/null
+++ b/AGENTS.md
@@ -0,0 +1,7 @@
+* Use gh CLI to interact with github
+* Test locally using the docker setup when needed
+* When doing changes, check if README/FAQ and tests needs to be updated
+* Remember the script and documentation needs to be accessible to a moderately technical audience
+* Keep PR description concise (no test plan)
+* Don't use gh cli to post comments on the developer's behalf
+* Don't amend commits and force push unless told otherwise