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.
 
@@ -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
@@ -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

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)

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