GitHub

De EduTech Wiki
Révision datée du 11 octobre 2022 à 16:45 par Mattia A. Fritz (discussion | contributions) (→‎Introduction)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

Cet article est en construction: un auteur est en train de le modifier.

En principe, le ou les auteurs en question devraient bientôt présenter une meilleure version.



Pour l'instant se référer à Git et Github

Introduction

GitHub est une plateforme en ligne intégrant le système de contrôle de versions Git dans un écosystème de soutien au développement et au partage de code source dans différents domaines. La plateforme a été acquise en 2018 par Microsoft. Principalement conçu pour le développement software, GitHub est désormais utilisé dans d'autres contextes tels que la collaboration à des projets open-source ; le partage de projets, données, ou outils de recherche ; ou encore la mise à disposition de matériel pédagogique.

Cet article propose une liste non exhaustive de fonctionnalités qui peuvent être utiles dans un contexte de recherche et/ou d'enseignement en technologie éducative et domaines annexes.

Pré-requis

Pour pouvoir tirer avantage de GitHub, une connaissance de Git est nécessaire. GitHub est en effet l'extension sociale de Git qui permet à un dépôt d'être publié sur le web et de bénéficier des différentes fonctionnalités de support.

Account GitHub

Un compte GitHub est également nécessaire pour pouvoir utiliser tous les services proposés par la plateforme. Il existe une version gratuite et une payante. La version gratuite possède déjà plusieurs fonctionnalités utiles pour une utilisation avancée de la plateforme.

Fonctionnalités

Aspect Social

GitHub pourrait s'apparenter à un réseau social pour le développement. Outre l’hébergement de projets, les utilisateurs peuvent suivre d'autres utilisateurs ou des projets qui les intéressent. Ils peuvent également laisser des commentaires/questions et participer au débat sur un projet en particulier.

Documentation

GitHub permet la création d'un wiki et d'une page dédiée pour chaque dépôt. En plus de cela, la documentation de projet est faisable en langage Markdown sous forme d'un fichier d'extension .md à ajouter directement dans le repository GitHub. Celui-ci s'affichera directement lors de la visite du projet sur GitHub.

Interactions

Par rapport à un projet issu d'un Repository GitHub, plusieurs interactions sont possibles:

Push

Le Push (Pousser en Anglais) permet d'envoyer une version du projet sur GitHub. Cela permet de faire une sauvegarde (commit) de la version.

Pull

Le Pull (Tirer en Anglais) permet de récupérer une version du projet.

Merge

Le Merge (Fusionner en Anglais) permet de fusionner plusieurs versions d'un même fichier. L'auteur du merge devra alors choisir les modifications du fichier voulues afin de produire une version finale des deux versions.