git push origin --delete branchname
can be shortened to
git push origin :branchname
Note the :. This command says push nothing up to branchname and delete it.
Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink.
Hide child comments as well
Confirm
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
can be shortened to
Note the :. This command says push nothing up to branchname and delete it.