Étiquette : github
-
Quelques outils pour simplifier github
Pour mes propres archives, et pour ceux qui ne connaissent pas encore, github met à disposition deux outils pour simplifier les interactions : Le premier c’est github pour mac, une interface graphique simpliste mais efficace pour gérer les dépôts, commit et branches. Ça ne fait pas le café mais ça fait la base utile pour ceux…
-
Récupérer les pull request github en local
Parce que les bonnes astuces nécessitent d’être partagées : Pour récupérer en local le contenu des « pull request » de github