Change github-repo pattern to allow numbers for usernames/repos