Delete a branch in a remote repository

Push commits to a remote repository.
More information: <https://git-scm.com/docs/git-push>.
Trick copyright: tl;dr; <https://github.com/tldr-pages/tldr>

git push {{remote_name}} --delete {{remote_branch}}

click the source code to copy install git push on any operating system with command-not-found.com