resolve #271: git-pr/git-repo: make .git optional