Git: Récupérer facilement les pull request GitHub

Afin de récupérer facilement les pull request, il vous suffit d'ajouter cela à la configuration du remote :

fetch = +refs/pull/*/head:refs/remotes/origin/pr/*

Par exemple :

[remote "origin"]
    url = git@github.com:bfolliot/vagrant-yml.git
    fetch = +refs/heads/*:refs/remotes/origin/*
    fetch = +refs/pull/*/head:refs/remotes/origin/pr/*