Delete a remote branch
DestructiveDeletes the branch on the remote for everyone who uses it, while local copies of the branch are kept.
Destructive: this command can permanently delete data. Check every value before running it.
git push origin --delete branchEdit the highlighted values, then copy. They are inserted as typed, without shell escaping.
Report an issue (opens in a new tab) wrong command, wrong danger level, typo… (on GitHub)
Adapted from tldr-pages (common/git-push.md), licensed under CC BY 4.0.