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


Publié

dans

,

par

Étiquettes :

Commentaires

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

  1. Avatar de Anthony Ricaud

    Je conseille d’utiliser https://github.com/defunkt/hub qui permet d’améliorer beaucoup d’intéractions avec github. C’est encore plus simple.

    Genre hub checkout http://url-de-la-pull-request. Ou hub fork username/project.

    1. Avatar de jubianchi
      jubianchi

      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. Les champs obligatoires sont indiqués avec *