Différences

Ci-dessous, les différences entre deux révisions de la page.

--- linuxaddict:coder:git [13/02/2018, 17:53] – [Garder votre fork à jour] Claude Clerc
+++ linuxaddict:coder:git [27/03/2018, 15:38] – [Git et Github - Versionner son code] Claude Clerc
@@ Ligne 3: / Ligne 3: @@
 **Git** (prononcer //Guitt//) a été écrit par [[https://fr.wikipedia.org/wiki/Linus_Torvalds|Linus Torvalds]], le créateur de Linux, pour versionner du code c'est-à-dire l'enregistrer étape par étape afin de pouvoir travailler dessus sur plusieurs machines et/ou à plusieurs codeurs. Git permet également de revenir à une version antérieure du code, qui fonctionnait avant que l'on en fasse une infâme bouillie emplie de bugs. ;-)
-**Github** (prononcer //Guitteub//) est un service qui permet d'enregistrer sur un serveur distant les différentes versions de son code, à l'aide de commandes Git. Il est gratuit pour du code public, payant pour du code privé. Il permet aussi de partager des bouts de code (des //gifts//) qui simplifient la vie de tous les autres codeurs, ou bien de participer à un projet existant.
+**Github** (prononcer //Guitteub//) est un service qui permet d'enregistrer sur un serveur distant les différentes versions de son code, à l'aide de commandes Git. Il est gratuit pour du code public, payant pour du code privé. Il permet aussi de partager des bouts de code (des //gists//) qui simplifient la vie de tous les autres codeurs, ou bien de participer à un projet existant.
 ===== Pré-requis =====
@@ Ligne 250: / Ligne 250: @@
   git diff HEAD..upstream/master # see diffs between local and upstream/master (if there is no diff then both are in sync)
   git pull upstream master # pull upstream's master into local branch
-  git push origin HEAD # push to your forked repo's remote branch
+  git push -f origin HEAD # push to your forked repo's remote branch
 ===== Liens =====
   * [[https://openclassrooms.com/courses/gerer-son-code-avec-git-et-github|Gérer son code avec Git et Github, sur OpenClassRooms]]