Comment by chrismorgan

There’s no need to create that pr-8142 branch, which will otherwise hang around indefinitely which is most commonly not what you want:

  git fetch upstream pull/8142/head
  git checkout FETCH_HEAD