supprimer une branche dans git
// delete branch locally
git branch -d localBranchName
// delete branch remotely
git push origin --delete remoteBranchName
git supprimer la branche commencer par
git branch -d $(git branch | grep yourSearchPattern)
comment supprimer une branche principale locale dans git
git delete
git supprime la branche principale et la recrée
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