Astuce rapide :
- Obtenir le numéro de version des commits grâce à la commande
git log -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. - Appliquer le patch inversé :
patch -p1 -R < 01.patch - "Comiter" puis envoyer de nouveau vers le dépôt central :
git ci -a -m "Annulation dernier push"puisgit 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