Making Github happy is *vaguely* important to me