4.1 Astuces Git et GitHub

Quelques astuces utiles dans le cadre de l’utilisation de git et GitHub en cours :

  • Comparaison de branches sur GitHub : ajouter /compare à la fin de l’URL du dépôt et une page de comparaison de branches apparait. Sinon, cette comparaison est aussi possible dans GitHub Desktop (menu Branch -> Compare to Branch).

  • Lorsqu’une branche n’est plus utile, elle peut être facilement éliminée depuis GitHub Desktop (entrée de menu Branch -> Delete...). Cette branche doit être activée d’abord, et tous les commits doivent avoir été pushés. Il est conseillé d’éliminer la branche sur le serveur en même temps que la branche locale.

La boite de dialogue d’élimination d’une branche dans GitHub Desktop.
La boite de dialogue d’élimination d’une branche dans GitHub Desktop.
  • Changement de gestion de dépôts GitHub de HTTPS à SSH :
git remote -v
# Si on a quelque chose comme: origin https://github.com/org/repo.git on est en HTTPS
# faire:
git remote set-url origin git@github.com:org/repo.git