git-pull-request: improve repo name matching to allow repos with dots in the name
git-pull-request: improve repo name matching to allow repos with dots in the name

polastre/git-workflow,dpup/git-workflow