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