gitfetchpr: default local branch name to pull request number