« GitHub » : différence entre les versions

De EduTech Wiki
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
Ligne 17 : Ligne 17 :
===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]]

Version du 22 novembre 2019 à 10:14

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. 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.

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.