git pr

Récupère les pull-requests GitHub localement. Plus d'informations : https://github.com/tj/git-extras/blob/master/Commands.md#git-pr.

• Récupère une pull-request spécifique :

git pr pr_number

• Récupère une pull-request d'un dépôt spécifique :

git pr pr_number distant

• Récupère une pull-request depuis son URL :

git pr url

• Nettoie les branches de pull-requests terminées :

git pr clean