aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpolo-pc-greta <ordipolo@gmx.fr>2025-02-07 11:22:38 +0100
committerpolo-pc-greta <ordipolo@gmx.fr>2025-02-07 11:22:38 +0100
commitdd6bdad360e2ff848b932b988685716bf05aeb1a (patch)
treedcdacaacf99debd2cc1631450733c1d64e260bb3
parent306d63cf955b6cb1da80827ae8003bca3eb009da (diff)
downloadtp-git-dd6bdad360e2ff848b932b988685716bf05aeb1a.zip
fichier TP GIT 2
-rw-r--r--TP GIT 2 contribuer.txt23
1 files changed, 23 insertions, 0 deletions
diff --git a/TP GIT 2 contribuer.txt b/TP GIT 2 contribuer.txt
new file mode 100644
index 0000000..f8f3a73
--- /dev/null
+++ b/TP GIT 2 contribuer.txt
@@ -0,0 +1,23 @@
1PARTIE 2 contribuer
2
3pour contribuer à un projet il y a deux manières de faire:
4- forker le dépôt et proposer une contribution avec un pull request (partie 3)
5- obtenir la permission de faire des commits directement
6
7ajouter un développeur sur gitlab (on n'était pas sur github avant?)
8- dans settings => collaborators => add people
9- sélectionner un rôle, "maintainer" permet de push, "dev" non
10- ajouter un dev dans l'interface web avec son e-mail
11- vérifier
12
13le nouveau dévelopeur va télécharger le dépôt et vérifier qu'il a bien la dernière version
14git clone <url.git>
15git pull devrait indiquer "Already up to date."
16
17git pull est en fait la combinaison des commandes fetch et merge
18(voir partie 3)
19
20changer des trucs, ajouter un fichier, commiter et envoyer
21git add "nana"
22gt commit -m "description"
23git push