Vous pouvez le faire :
1) Ajouter la télécommande en amont :
git remote add upstream git@github.com:Particular/NServiceBus.git
2) Après cela, vous pouvez extraire toute demande de pull vers une nouvelle branche en fonction de son ID :
git fetch upstream pull/PULL_REQUEST_ID/head:NEW_BRANCH_NAME
Vous aurez alors une branche nommée NEW_BRANCH_NAME
contenant le code PR.
Ajout d'un alias :
Si vous faites ça aussi souvent que moi, vous pourriez vouloir configurer quelques pseudonymes pour cela. J'ai ceci dans mon .gitconfig :
[alias]
fetch-pr = "!f(){\
[ -z \"$1\" ] && { echo Usage: git fetch-pr PULL_REQUEST_ID [REMOTE_NAME] [NEW_BRANCH_NAME]; exit 1; }; \
remote=${2:-origin}; \
branch=${3:-pr-$1}; \
git fetch $remote \"pull/$1/head:$branch\"; \
}; f "
pr = "!f(){\
branch=${3:-pr-$1}; \
git fetch-pr \"$@\"; \
git switch $branch; \
}; f "
Avec ce qui précède, je peux le faire :
git fetch-pr 123 # fetch PR #123 into branch pr-123
git fetch-pr 123 some-branch # fetch PR #123 into some-branch
git pr 123 # fetch and switch to the branch