On Mon, 2017-01-02 at 09:10 +0000, Tommaso Teofili wrote: > We currently use Jenkins as CI tool, if there're good reasons to > switch to Travis I'm all for it.
We need to fix this, I think it still points against our svn repository. Travis is nice because it integrates with Github, thats the main advantage is has, so it can build a PR and tell the one who sent it if it can be build (and passes all tests). Jörn
