Scribd
Importer
16 vues1 page

Collaboration sur GitHub: Guide Pratique

Le document décrit les étapes de collaboration sur GitHub avec un groupe. Il explique comment créer un dépôt, inviter des collaborateurs, créer des branches, récupérer le dépôt en local, et pousser les modifications vers le dépôt distant.

Transféré par

gracefatimeablaou
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
16 vues1 page

Collaboration sur GitHub: Guide Pratique

Le document décrit les étapes de collaboration sur GitHub avec un groupe. Il explique comment créer un dépôt, inviter des collaborateurs, créer des branches, récupérer le dépôt en local, et pousser les modifications vers le dépôt distant.

Transféré par

gracefatimeablaou
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Rapport sur le travail de collaboration avec GitHub

(Groupe 5)

1. Dépôt
Pour commencer, on a créer un repository dénommé « tkinter_project ». Ce dépôt a initialement une
branche principale « main », donc on a d’abord un peu sécurisé cette branche de telle sorte
qu’aucun collaborateur ne puise modifier ou supprimer le contenu directement. Pour faire cela on
va dans l’onglet Settings puis dans Branches et on ajoute les règles de sécurité en cliquant sur le
bouton Add rule. Ce-ce étant, on coche sur les cases des règles que l’on souhaite mettre en place et
on valide avec le bouton Create.

2. Collaborateurs
On invite les collaborateurs en allant encore dans Settings puis dans Collaborators, ce qui nous
demande de confirmé notre mot de passe, puis on clique sur Add people. On récupère le nom
d’utilisateur du collaborateur qu’on souhaite ajouter et on le recherche ensuite on clique sur Add
user_name to this repository. O en fait de même pour les autres membres du groupe.

3. Branches
Après l’ajout, chaque membre a reçu une invitation de collaborer sur le dépôt via un mail. Chacun a
accepté. Maintenant chaque crée sa propre branche à partir de le branche main. Pour cela, on clique
sur le petit triqngle qui se trouve juste à côté du main, on insère le nom de notre branche et clique
sur Create branch : nom_branche from ‘main’ et la nouvelle branche est créée.

4. Pull
Maintenant, on revient sur son ordinateur en local, et on initialise un nouveau dépôt dans un
répertoire avec la commande : $ git init
Puis on récupère le dépôt via la commande : $ git pull lien_du_dépôt
$ git pull [Link]
Après célà on fait le travail qu’on a à faire sur le projet en local.

5. Push
Pour pouvoir pusher, on a besoin du lien que le main utilise pour pouvoir faire ses push qui est de la
forme [Link] Dans notre cas le lien est
[Link]
tkinter_project.git
Donc pour pusher, on entre la commande : $ git push --set-upstream
[Link]
ane/tkinter_project.git

Vous aimerez peut-être aussi