chore: fix AGENTS.md linting (GitHub/Docker capitalization)

This commit is contained in:
Stanislas Lange
2025-12-13 14:56:23 +01:00
parent 3afccf0351
commit 991c403d78

View File

@@ -1,7 +1,7 @@
* Use gh CLI to interact with github - Use gh CLI to interact with GitHub
* Test locally using the docker setup when needed - Test locally using the Docker setup when needed
* When doing changes, check if README/FAQ and tests needs to be updated - 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 - Remember the script and documentation needs to be accessible to a moderately technical audience
* Keep PR description concise (no test plan) - Keep PR description concise (no test plan)
* Don't use gh cli to post comments on the developer's behalf - Don't use gh cli to post comments on the developer's behalf
* Don't amend commits and force push unless told otherwise - Don't amend commits and force push unless told otherwise