Repository for the source code of our CI project