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

,

2 réponses à “Récu­pé­rer les pull request github en local”

    • Effectivemet, hub est très bien pour bosser avec Github.

      L’astuce ici a, pour moi, au moins deux avantages :
      * Pas besoin d’outils supplémentaires
      * Indépendante de Github (on pourrais facilement l’adapter pour fonctionner avec Gitlab par exemple)

      Je vois un dernier point : cette astuce nous force a regarder plus en détail la config et le fonctionnement de Git : idéal pour apprendre un peu et utiliser l’outil d’une manière plus approfondie ;)

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.