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