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:
|
1 |
git push origin --delete branchname |
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:
|
1 |
git push origin --delete branchname |