diff options
| -rw-r--r-- | TP GIT 2 contribuer.txt | 23 |
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 @@ | |||
| 1 | PARTIE 2 contribuer | ||
| 2 | |||
| 3 | pour 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 | |||
| 7 | ajouter 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 | |||
| 13 | le nouveau dévelopeur va télécharger le dépôt et vérifier qu'il a bien la dernière version | ||
| 14 | git clone <url.git> | ||
| 15 | git pull devrait indiquer "Already up to date." | ||
| 16 | |||
| 17 | git pull est en fait la combinaison des commandes fetch et merge | ||
| 18 | (voir partie 3) | ||
| 19 | |||
| 20 | changer des trucs, ajouter un fichier, commiter et envoyer | ||
| 21 | git add "nana" | ||
| 22 | gt commit -m "description" | ||
| 23 | git push | ||
