Allow fixing style on PRs from branches named "develop"

[scottwittenburg]

When developers made PRs to spack and their local branch name was also "develop", git would refuse to fetch from the remote to that branch name locally. This change makes git fetch the remote develop branch to a local branch of a different name.