Re: [infinispan-dev] moving (some) cache stores in a different github repository