git pull request

Updated: 08 May 2023

Fetch a GitHub pull-request to your local repo

git fetch origin pull/<pull request id>/head:<branch name to use>