How to checkout a pull request

You can checkout a single pull request reference by doing :

# replace $PR with the pull request number
git fetch origin +refs/pull/$PR/merge
git checkout FETCH_HEAD

Copied from here

Just as a note for remind me