Hi Alexander,
On Mon, Oct 02, 2017 at 01:19:35PM +0300, Alexander Chemeris wrote:
I assume that the old repo will continue to exist, and we'll be able to refer to it if we need / forget something?
yes, it's mainly to make sure we don't forget about branches that we do want to merge (to the new split repositories).