In the Continuous Integration part there is the following: > when a new change is pushed to this branch on the public Mercurial repository Shouldn't this be updated to mention Github instead?