Étiquette : GitHub
-
Changer de Branche Git dans le Terminal
Pour créer de nouveaux changements dans un projet hébergé sur GitHub, il arrive régulièrement que l’on crée une nouvelle branche. Dans cette branche, l’on effectuera des modifications de la branche principale que l’on voudra plus tard fusionner à la branche principale. Cependant, il peut arriver que l’on ne se situe pas dans la bonne branche…
-
Créer une nouvelle branche GitHub
Problème : Comment créer une nouvelle branche d’un dépôt GitHub à partir du terminal ? Solution : Faire Exemple : Ceci crééra une nouvelle branche portant le nom nouvelle-branche.
-
Savoir à quel Dépôt GitHub on est Connecté
On connaît « git add, git commit, git push », certes, mais avant d’exécuter ces instructions, il faut parfois vérifier à quel dépôt on est connecté afin d’éviter des mauvaises surprises. Le risque de ne pas être connecté au bon repository est d’écraser un dépôt exisant que l’on ne voulait pas modifier, tout en ne mettant pas…
-
Cloner un Dépôt GitHub
Problème : Comment cloner un dépôt GitHub? Solution : Utiliser l’instruction git clone dans votre terminal, suivie de l’adresse du dépôt. Exemple :
La Data Science 