Allow GitHub integration to work on multiple machines

This worked for me. Does this seem reasonable?

@StefanKarpinski @kmsquire