JuliaLang/julia — pull request #8049 by Keno (2014-08-19 01:02:50+00:00)
Title: Allow GitHub integration to work on multiple machines

This worked for me. Does this seem reasonable?

@StefanKarpinski @kmsquire