Git: commandes utiles

Voici quelques commandes que nous utilisons régulièrement.

Supprimer une branche locale:

$ git branch -D <branchName>

Supprimer une branche distante:

$ git push origin --delete <branchName>

Créer une branche vide:

$ git checkout --orphan emptybranch

Supprimer tout les fichiers:

$ git rm -rf .

Fusion des mise-à-jours sans voir les commits individuels:

$ git merge --squash <branchName>