« GitHub » : différence entre les versions

De EduTech Wiki
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
 
(5 versions intermédiaires par un autre utilisateur non affichées)
Ligne 1 : Ligne 1 :
{{ En construction }}
{{En construction }}


Pour l'instant se référer à [[Git et Github]]
Pour l'instant se référer à [[Git et Github]]
Ligne 5 : Ligne 5 :
== Introduction ==
== Introduction ==


[https://github.com 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. Principalement conçu pour le développement software, GitHub est désormais utilisé dans d'autres contextes tels que la collaboration à des projects open-source ; le partage de projets, données, ou outils de recherche ; ou encore la mise à disposition de matériel pédagogique.
[https://github.com 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==
==Fonctionnalités==
Ligne 13 : Ligne 23 :
===Documentation===
===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.  
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===
===Interactions===
Par rapport à un projet issu d'un Repository GitHub, plusieurs interactions sont possibles:
Par rapport à un projet issu d'un Repository GitHub, plusieurs interactions sont possibles:
* Push
====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.
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.
[[Catégorie: Programmation]]
[[Catégorie: Programmation]]

Dernière version du 11 octobre 2022 à 16:45

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.