Étiquette : github

  • Quelques outils pour simpli­fier github

    Pour mes propres archives, et pour ceux qui ne connaissent pas encore, github met à dispo­si­tion deux outils pour simpli­fier les inter­ac­tions : Le premier c’est github pour mac, une inter­face graphique simpliste mais effi­cace 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écu­pé­rer les pull request github en local

    Parce que les bonnes astuces néces­sitent d’être parta­gées : Pour récu­pé­rer en local le contenu des « pull request » de github