| name | github-issue-close |
| description | Close a GitHub issue with optional comment |
Codex target-repository contract
Resolve REPO from an explicit owner/repo argument when supplied; otherwise
run gh repo view --json nameWithOwner --jq .nameWithOwner in the current
checkout. Pass --repo "$REPO" to every issue command. If neither source can
resolve a repository, ask the user before performing a write.
Close GitHub Issue
Close a GitHub issue with optional comment
Full procedure
Read reference.md in this skill directory for the complete, authoritative procedure before acting on this skill.