elimina un ramo in git
// delete branch locally
git branch -d localBranchName
// delete branch remotely
git push origin --delete remoteBranchName
git delete branch inizia con
git branch -d $(git branch | grep yourSearchPattern)
come eliminare il ramo master locale in git
git delete
git elimina il ramo principale e ricrea
git checkout better_branch
git merge --strategy=ours master # keep the content of this branch, but record a merge
git checkout master
git merge better_branch # fast-forward master up to the merge