> On Jul 16, 2019, at 4:10 AM, Joe Darcy <joe.darcy at oracle.com> wrote: > > There is nothing in the JEP that requires or implies the old hg repos need to be destroyed. I would recommend leaving them in place as read-only archives. Is it possible to make it a mirror of the new git repo? --Max