L’expérience est une lanterne que l’on porte sur le dos et qui n’éclaire jamais que le chemin parcouru. Confucius

Aller au contenu | Aller au menu | Aller à la recherche

jeudi, 8 septembre 2011

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

mardi, 29 mars 2011

Effectuer un "Pull request" dans github

Git est un logiciel de gestion de versions décentralisée. GitHub est un service web d'hébergement et de gestion de développement de logiciels, utilisant le programme Git. L'article explique comment effectuer le fameux "pull request" sur son dépôt local.

Lire la suite...