I’d like to check out a previously created pull request (created via GitHub web interface). I searched and found different places where a refs/pull or refs/pull/pr
But when I add fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to the git config file and do a git fetch
What I’m doing wrong? Should GitHub create automatically the pull/xyz stuff, or do I have to configure something?