Prevent branches and pullrequest from conflating

External pull request from a particular user on a particular branch (
say develop) was being confused with the mainline branch of the same
name.