Delete a remote branch when gui’s fail

I had a scenario when my git gui wouldn’t delete a remote branch – and neither would the usual command that I use.

In the end, this sorted it for me:

git push origin --delete branchname

1	git push origin --delete branchname

Blue Phone Box