From 7544b94beca8e6321f09124b11db7d33fc736bae Mon Sep 17 00:00:00 2001 From: polo-pc-greta Date: Fri, 7 Feb 2025 12:43:05 +0100 Subject: utf-8 parce ce que c'est mieux --- TP GIT 1 installation.txt | 14 +++++++------- TP GIT 2 contribuer.txt | 12 ++++++------ 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 git pull devrait indiquer "Already up to date." -- cgit v1.2.3