diff --git a/AGENTS.md b/AGENTS.md new file mode 100644 index 0000000..d1e0bc4 --- /dev/null +++ b/AGENTS.md @@ -0,0 +1,10 @@ +# Issue Management +- Use Gitea REST API to close issues when fixing them: + ```bash + curl -X PATCH https://gitea.rowanbrook.net/api/v1/repos/jakob/rusty-petroleum/issues/{issue_number} \ + -H "Content-Type: application/json" \ + -H "Authorization: Bearer YOUR_TOKEN" \ + -d '{"state": "closed"}' + ``` +- Or suggest closing issues on Gitea web UI when automatic closing via API is not configured +