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