supprimer une branche dans git
// delete branch locally
git branch -d localBranchName
// delete branch remotely
git push origin --delete remoteBranchName
supprimer git distant
# The example will remove the github remote.
# Note that the command will not delete the repository,
# just the local reference.
git remote rm origin
github supprimer la branche à distance
$ git push -d <remote_name> <branch_name>
$ git branch -d <branch_name>
comment supprimer une origine distante git
git remote remove origin
supprimer la branche locale et distante github
$ git push <remote_name> :<branch_name>