github-merge-pr: be more conservative with git fetch