Annuler un git push

Astuce rapide :

1. Obtenir le numéro de version des commits grâce à la commande git log -2
2. Créer une patch entre la dernière version du dépot et la version -1 : git diff <version_anterieure> <version_actuelle> > 01.patch.
3. Appliquer le patch inversé : patch -p1 -R < 01.patch
4. "Comiter" puis envoyer de nouveau vers le dépôt central : git ci -a -m "Annulation dernier push" puis git push

Note : Il me semble qu'avec git diff <version_actuelle> <version_anterieure> > 01.patch, il n'est pas utile d'utiliser la commande -R lors de l'application du patch