Files
rusty-petroleum/AGENTS.md
T

403 B

Issue Management

  • Use Gitea REST API to close issues when fixing them:
    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