utf-8 parce ce que c'est mieux

2 files changed, 13 insertions, 13 deletions

diff --git a/TP GIT 1 installation.txt b/TP GIT 1 installation.txt
index 7d40d2b..fa04d52 100644
--- a/TP GIT 1 installation.txt
+++ b/TP GIT 1 installation.txt
@@ -6,18 +6,18 @@ git config --global user.name "username"
 git config --global user.email "e-mail"
 
 sur github
-- créer un "nouveau repository" avec un nom concis en minuscules et avec des tirets
+- créer un "nouveau repository" avec un nom concis en minuscules et avec des tirets
 - le rendre "public"
-- récupérer son adresse HTTPS
+- récupérer son adresse HTTPS
 
-dans la console télécharger le dépôt et entrer dedans:
+dans la console télécharger le dépôt et entrer dedans:
 git clone url.git
 cd nom_depot
 
-créer le readme.md
+créer le readme.md
 echo "Bonjour" > README.md
 
-afficher l'espace de staging (on a de nouveaux fichiers non commités)
+afficher l'espace de staging (on a de nouveaux fichiers non commités)
 git status
 
 ajouter ou modifier un fichier
@@ -30,10 +30,10 @@ git rm --cached "fichier"
 annuler un "add" et retirer le fichier du projet
 git rm -f --cached "fichier"
 
-je me suis trompé mon fichier README.md s'appelle en fait readme.md
+je me suis trompé mon fichier README.md s'appelle en fait readme.md
 git rm -f --cached readme.md
 git add README.md
-git status montre que le fichier a bien été renommé
+git status montre que le fichier a bien été renommé
 
 commit
 git commit -m "ajout du fichier README.md"
diff --git a/TP GIT 2 contribuer.txt b/TP GIT 2 contribuer.txt
index f8f3a73..7824d4c 100644
--- a/TP GIT 2 contribuer.txt
+++ b/TP GIT 2 contribuer.txt
@@ -1,16 +1,16 @@
 PARTIE 2 contribuer
 
-pour contribuer à un projet il y a deux manières de faire:
-- forker le dépôt et proposer une contribution avec un pull request (partie 3)
+pour contribuer à un projet il y a deux manières de faire:
+- forker le dépôt et proposer une contribution avec un pull request (partie 3)
 - obtenir la permission de faire des commits directement
 
-ajouter un développeur sur gitlab (on n'était pas sur github avant?)
+ajouter un développeur sur gitlab (on n'était pas sur github avant?)
 - dans settings => collaborators => add people
-- sélectionner un rôle, "maintainer" permet de push, "dev" non
+- sélectionner un rôle, "maintainer" permet de push, "dev" non
 - ajouter un dev dans l'interface web avec son e-mail
-- vérifier
+- vérifier
 
-le nouveau dévelopeur va télécharger le dépôt et vérifier qu'il a bien la dernière version
+le nouveau dévelopeur va télécharger le dépôt et vérifier qu'il a bien la dernière version
 git clone <url.git>
 git pull    devrait indiquer "Already up to date."