Add AGENTS.md

This commit is contained in:
Stanislas Lange
2025-12-13 14:33:59 +01:00
parent 3561d13389
commit 3afccf0351

7
AGENTS.md Normal file
View File

@@ -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