Delete a locale branch

git branch -d <branch_name>

Delete a remote branch

git branch -dr origin/<branch_name>

or

git push origin --delete <branch_name>

or

git push origin :<branch_name>

 

Vlastimil Pošmura, 2019