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

[Mircea Markus]

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)