Fix git-pull-request so that it actually works (thanks @grosser)