Folks, How about we freeze our repo entirely until we get proper CI in place.
Seems to me all the hard work from Remi and co could be lost if we start committing again. Now Travis is not running, Jenkins fails all the time and nobody cares… So how about we figure out CI now ? and not do anything else. -Sebastien