Allow GitHub integration to work on multiple machines
Merge pull request #8049 from JuliaLang/kf/github

Allow GitHub integration to work on multiple machines