GitHub

Aller à la navigation Aller à la recherche

GitHub est un service web d'hébergement et de gestion de développement de logiciels.

Généralité

Site principal :

Les prérequis pour utiliser GitHub :

  • un compte d'accès GitHub ;
  • au moins un dépôt sur GitHub ;
  • un dossier sur son poste de travail pour synchroniser les dépôts GitHub ;
  • l'application "GitHub Desktop" pour gérer les interactions entre les modifications et les dépôts "maitres" :

Logiciels suivis

Avidemux :

Flux

  • fork : création d'un dépôt qui est la copie du projet initial ;
  • commit : sauvegarde de modifications ;
  • pull request : envoi des modifications ;

Fork : clone personnel

Depuis un projet, la création d'un fork est la création d'une copie du projet par la création d'un dépôt personnel.

Les commits sont les sauvegardes successives des modifications apportées, mais uniquement sur son dépôt personnel.

Les

Commit : sauvegarde ponctuelle

Un commit est une sauvegarde des modifications réalisées.

Après une modification directement depuis GitHub, utiliser l'outil d'édition intégrée.

Pour réaliser un commit depuis GitHub, utiliser le formulaire en fin d'outil d'édition :

  • indiquer un commentaire pour résumer le contenu des modifications.

Pull request : demande de publication

Utiliser la fonction Create pull request pour proposer les modifications au responsable du projet :

  • Open : fylip22 wants to merge 2 commits into mean00:master from fylip22:master

Suppression du dépôt

Une fois la publication réalisée, c'est-à-dire que le chef de projet à intégré les modifications à la suite du pull request, il est possible de supprimer le dépôt personnel :

  • page du dépôt personnel ;
  • menu "Settings > Options"
  • à la fin de la page : Danger Zone, Delete this repository ; une confirmation est demandée.

Voir aussi