Linux Terminal Glossary
›
GitHub CLI
gh pr close 42 --delete-branch
Category:
GitHub CLI
gh pr close 42 --delete-branch
Copy command
Close a PR and delete its head branch
Closes a PR and also deletes its head branch.
Looking for more?
Search all 7,657 commands
— works offline, in English or Spanish, and fixes typos.