Commits and PRs¶
When a PR resolves tracked work, reference the issue in the commit message:
GitHub closes the issue automatically on merge (if the repo option is enabled).
Variants:
Closes #42— same auto-close behaviorRefs #42— reference without auto-close
Agent workflow¶
After fixing a bug, the agent should:
- Commit with
Fixes #Nwhen appropriate - Optionally comment on the issue:
python scripts/github_issue.py comment N --body "Fixed in …" - Close manually if needed:
python scripts/github_issue.py close N