Closes the pull request without merging, and --comment leaves a closing note explaining why, such as pointing to a replacement PR. Closed PRs stay visible for history but drop out of open lists. Add --delete-branch to also clean up the head branch.
Looking for more? Search all 7,657 commands — works offline, in English or Spanish, and fixes typos.