Check out PR as branch

Back

git fetch origin pull/ID/head:BRANCHNAME

where

  • ID refers to the PR number
  • BRANCHNAME refers to the name of the branch you want to create

then checkout the branch with git checkout BRANCHNAME