Parce que les bonnes astuces nécessitent d’être partagées : Pour récupérer en local le contenu des « pull request » de github
Récupérer les pull request github en local
par
Commentaires
2 réponses à “Récupérer les pull request github en local”
-
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.
-
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