Change github-repo pattern to allow numbers for usernames/repos
Merge pull request #55 from mingkai0812/master

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