Merge branch 'master' of bitouze/tutoriel_git into master

branches.md

@@ -11,7 +11,7 @@ peuvent ensuite être fusionnées, abandonnées ou même supprimées.
 
 L'utilisation des branches est très naturelle avec Git et permet d'organiser le
 déroulement du projet. Souvent, on utilise une branche principale `master` qui
-"doit toujours fonctionner" et, pour chaque fonctionnalité à ajouter, on dérive
+« doit toujours fonctionner » et, pour chaque fonctionnalité à ajouter, on dérive
 une nouvelle branche que l'on fusionne ensuite dans le `master` une fois la
 fonctionnalité réalisée (ou partiellement réalisée) et testée.
 
@@ -54,7 +54,7 @@ Par exemple, si on modifie le fichier `paper.tex` et qu'on commite ensuite :
 
 ![](branches_05.svg)
 
-Le `master` est une branche comme les autres qu'on peut également sélectionnée.
+Le `master` est une branche comme les autres qu'on peut également sélectionner.
 
 ![](branches_06.png)
 
@@ -147,7 +147,7 @@ supprimés sur le serveur seront de nouveau envoyés au prochain push).
 
 Souvent, on crée des commits au fur et à mesure, pour sauvegarder et partager
 les modifications. Mais pour certaines applications, on peut vouloir un graphe
-de commits "plus propre", où les commits doivent suivre une structure
+de commits « plus propre », où les commits doivent suivre une structure
 prédéterminée, ou au contraire les réorganiser a posteriori. Git offre des
 fonctionnalités pour cela : regrouper des commits, les déplacer, etc...  Ces
 fonctionnalités ne sont pas traitées dans ce tutoriel (voir la documentation
@@ -159,10 +159,10 @@ sur les `git rebase`).
 Résumé des commandes Git précédentes :
 
 ---|---|
-`git branch` | afficher la liste des branches |
-`git log --graph --oneline --decorate` | afficher le graph des commits |
-`git ls-remote` | afficher la liste des branches distantes |
-`git branch <nom>` | créer une nouvelle branche locale |
+`git branch` | affiche la liste des branches |
+`git log --graph --oneline --decorate` | affiche le graph des commits |
+`git ls-remote` | affiche la liste des branches distantes |
+`git branch <nom>` | crée une nouvelle branche locale |
 `git checkout <branche>` | sélectionne une branche |
 `git merge <branche>` | fusionne une branche dans la branche courante |
 `git push --set-upstream <remote> <branche>` | envoie la branche courante dans une branche distante |
@@ -171,7 +171,7 @@ Résumé des commandes Git précédentes :
 
 Quelques conseils de méthode de travail :
 
-- Essayez d'avoir une branche `master` "qui marche tout le temps".
+- Essayez d'avoir une branche `master` « qui marche tout le temps ».
 - Pour chaque tâche du projet, créez une branche dédiée, que vous fusionnerez
   dans le `master` une fois les modifications commitées.
 - Utiliser des branches ne vaccine pas contre les conflits, donc pensez à faire
@@ -180,7 +180,7 @@ Quelques conseils de méthode de travail :
 ## Exercice
 
 - Clonez un dépôt distant.
-- Créez une nouvelle branche `b1`, faites quelques commits dans b1 puis
+- Créez une nouvelle branche `b1`, faites quelques commits dans `b1` puis
   fusionnez-les dans le master.
 - Envoyez la branche `b1` sur le serveur et vérifiez que vous la voyez sur la
   page web du serveur.

depot_distant.md

@@ -38,11 +38,11 @@ commits, dépôts actifs...) :
 ## Créer un dépôt sur un serveur Git
 
 Pour créer un nouveau dépôt distant, allez sur le site du serveur Gogs et
-cliquez "Nouveau dépôt". 
+cliquez « Nouveau dépôt ».
 
 ![](depot_distant_03.png)
 
-Entrez le nom du dépôt distant à créer, puis cliquez "Créer un dépôt".
+Entrez le nom du dépôt distant à créer, puis cliquez « Créer un dépôt ».
 
 ![](depot_distant_04.png)
 
@@ -55,7 +55,7 @@ localement. Attention, il y a une méthode plus simple que celle indiquée (cf.
 Le site du serveur Gogs vous permet de configurer différents paramètres
 concernant votre dépôt. Par exemple pour un dépôt privé, vous pouvez indiquer
 les personnes que vous autorisez à récupérer et à modifier le dépôt (cliquez
-"Paramètres" puis "Collaboration" puis entrez et ajoutez le login).
+« Paramètres » puis « Collaboration » puis entrez et ajoutez le login).
 
 ![](depot_distant_15.png)
 
@@ -64,7 +64,7 @@ les personnes que vous autorisez à récupérer et à modifier le dépôt (cliqu
 La commande `git clone ...` permet de récupérer un dépôt distant sur votre
 machine. C'est la méthode la plus simple pour récupérer un dépôt. 
 Pour éviter d'avoir à retaper votre login sans arrêt, pensez à l'ajouter après
-le "https://" lors du clone (vous pouvez également l'ajouter plus tard, dans le
+le « `https://` » lors du clone (vous pouvez également l'ajouter plus tard, dans le
 fichier `.git/config`). 
 
 ![](depot_distant_06.png)

depot_local.md

@@ -168,7 +168,7 @@ De même, la commande `git rm` permet de supprimer un fichier versionné.
 
 ## Afficher l'historique des commits
 
-Faisons d'abord une modification "commitée" puis une autre non commitée.
+Faisons d'abord une modification « commitée » puis une autre non commitée.
 
 ![](depot_local_19.png)
 
@@ -185,7 +185,7 @@ On peut également le voir avec un client graphique comme `gitg`.
 
 ![](depot_local_21.png)
 
-Le "unstaged" correspond aux modifications courantes non commitées (`HEAD`).
+Le « unstaged » correspond aux modifications courantes non commitées (`HEAD`).
 
 ## Supprimer les modifications courantes
 
@@ -196,8 +196,8 @@ alors dans l'état du dernier commit (`master`).
 
 ## Revenir à un commit précédent (sans suppression)
 
-La commande `git checkout 3ca...` permet de revenir au commit "3ca...". On passe 
-ainsi dans un mode "détaché" (`HEAD` ne pointe plus sur un commit terminal).
+La commande `git checkout 3ca...` permet de revenir au commit « 3ca... ». On passe
+ainsi dans un mode « détaché » (`HEAD` ne pointe plus sur un commit terminal).
 
 ![](depot_local_checkout_02.svg)
 
@@ -223,7 +223,7 @@ facilement à un commit particulier.
 
 ## Supprimer des commits précédents
 
-La commande `git reset 13a...` place le `master` sur le commit "13a..." et
+La commande `git reset 13a...` place le `master` sur le commit « 13a... » et
 supprime tous les commits suivants **sans supprimer les modifications
 correspondantes**, qui sont alors regroupées dans l'état courant, non commité.
 
@@ -231,7 +231,7 @@ correspondantes**, qui sont alors regroupées dans l'état courant, non commité
 
 La commande `git reset --hard 13a...` est équivalente à la commande précédente
 sauf qu'elle **supprime les modifications correspondantes**.
-Les fichiers sont donc remis dans l'état du commit "13a...", et `master` et
+Les fichiers sont donc remis dans l'état du commit « 13a... », et `master` et
 `HEAD` pointent vers ce commit.
 
 ![](depot_local_checkout_05.svg)

forks.md

@@ -164,11 +164,11 @@ Quelques conseils de méthode de travail :
 
 - Créez deux dépôts distants, l'un publique, l'autre privé.
 - Clonez le dépôt privé, faites-y quelques commits et pushez le tout.
-- Toujours dans le dépôt privé local, créez une branche "public", fusionnez-y
+- Toujours dans le dépôt privé local, créez une branche `public`, fusionnez-y
   le `master` et pushez-la sur le dépôt distant privé et sur le dépôt distant
 public.
 - Faites un nouveau commit dans le `master`, fusionnez-le dans la branche
-  "public" et pushez le tout.
-- Clonez le dépôt public et mettez-le à jour avec la branche "public" du dépôt
+  `public` et pushez le tout.
+- Clonez le dépôt public et mettez-le à jour avec la branche `public` du dépôt
   distant privé.
 

index.md

@@ -41,15 +41,15 @@ que j'indique ».
 
 ## Dans quels cas ne pas utiliser Git/Gogs ?
 - édition collaborative en temps-réel → sharelatex
-- partage de fichiers "au plus simple" → dropbox, seafile, serveur FTP/HTTP...
+- partage de fichiers « au plus simple » → dropbox, seafile, serveur FTP/HTTP...
 - fichiers dans un format non textuel (word, excel, PDF...) 
 
 ## Concepts de base
 
-### Notion de "version" (commit)
+### Notion de « version » (commit)
 
-Un "projet Git" contient l'historique de toutes les modifications sauvegardées
-de chaque fichier.  On appelle "commit" un état sauvegardé de ces modifications
+Un « projet Git » contient l'historique de toutes les modifications sauvegardées
+de chaque fichier.  On appelle « commit » un état sauvegardé de ces modifications
 (une version du projet en quelque sorte).
 
 Généralement, on modifie le projet à partir de la version précédente et ansi de
@@ -69,7 +69,7 @@ On peut ensuite rassembler ces modifications en fusionnant les branches :
 ### Notion de dépôt (repository)
 
 On appelle dépôt tout l'historique des fichiers et des modifications de notre
-"projet Git", c'est-à-dire l'ensemble des commits.  
+« projet Git », c'est-à-dire l'ensemble des commits.
 
 Un dépôt peut être dupliqué et synchronisé sur différentes machines, ce qui
 permet de partager un projet et pouvoir travailler à plusieurs.  Git est un