Liste des commandes dont je n'arrive jamais a me souvenir :
git remote show origin
git config --get remote.origin.url
git pull --rebase
Pour effacer un tag nommé '12345' :
git tag -d 12345
git push origin :refs/tags/12345
Depuis un clone local pour effacer la branche 12345 :
git push origin --delete 12345