Added how to set up git globally to fetch pull requests. This way no per-repository .git/config change is needed.