Thanks for bringing this up. Yes, it should be archived. Please file a bug for that in community/gerrit and add me in cc.
Cheers, Wim On Thu, Feb 27, 2020 at 1:59 PM Christian Pontesegger < christian.ponteseg...@web.de> wrote: > Hi, > > it seems that the old gerrit repository [1] is still available. As the > development moved to github, are there any plans to either archive the > gerrit repository or at least mark it as discontinued? > > Christian > > [1] https://git.eclipse.org/c/nebula/org.eclipse.nebula.git/ > > _______________________________________________ > nebula-dev mailing list > nebula-dev@eclipse.org > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://www.eclipse.org/mailman/listinfo/nebula-dev >
_______________________________________________ nebula-dev mailing list nebula-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/nebula-dev