diff --git a/AGENTS.md b/AGENTS.md index 16cca5e..b9510d1 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -1,7 +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 +- 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