Fixed pull request bug.

If pull request base branch and submitting branch were the same, a new
pull request could not be created. This is now fixed.