If you want to download GitHub PRs to your local repository, you can use a little trick to download them as local branches.
Open the repository configuration file (.git/config
) and search for the origin
block. Change it from:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:USERNAME/REPOSITORY.git