CI: Point git sources to gitolite mirror