[infinispan-dev] merging all the github projects back?

Hi guys, Given all the compiling problems we had since we've split in multiple github repos (server, stores and embedded) makes me think that the split wasn't such a great idea after all( and that I was hmm, wrong). Shall we move everything back into a single repo? We can still keep different CI runs for cache stores, server etc, but at least all this builds will compile everything. wdyt? Cheers, -- Mircea Markus Infinispan lead (www.infinispan.org)