Mercurial repository out of sync?

[Mario Torre]

Hi all,

It seems the mercurial repository is completely out of sync from the github one:

https://hg.openjdk.java.net/jmc/jmc

While we moved to github I think the jmc mainline should either be
removed (like, deprecated with a note to go visit github) or kept
working with synchronisations to the github source.

I thought this was done automagically by skara/openjdk infrastructure,
but it seems it's not the case?

Cheers,
Mario
-- 
Mario Torre
Associate Manager, Software Engineering
Red Hat GmbH <https://www.redhat.com>
9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898