Hopeful settings for ShareLatex GitHub integration.