Do we want to keep the multiple remote approach as another way?

I dunno the multi remote approach does not seems as convenient and does not bring anything more.

I think having only 1 approach in the docs makes it clear to the user on how he is suppose to do it.

Okido, let's rebase and merge then :)

Rebased ;)

I didn't see this get started - and if we don't want to amend it again that is cool too.

I use this little bash function to pull PRs now. I am wondering if this should be worked in as another option for people who don't want all PRs showing up all the time in their branch list:

function pullpr {
remote="${2:-upstream}"
git fetch $remote pull/$1/head:pr_$1
git checkout pr_$1
}