Now the server works with Travis as well as Github, and maybe others in the future, should it be renamed away from Github?