Sometimes, the pull/{number}/head reference doesn't work (not sure why, but randomly happens), so if we can't get the pull via that route, this change will check it out the old way