On Saturday, March 19, 2022, Wim Jongman <wim.jong...@gmail.com> wrote: > I have two stale open Gerrits that still might be useful. Will Gerrit be available after the move so that I can convert them to PR's?
Yes. -- Mickael Istria Eclipse IDE <https://www.eclipse.org/eclipseide> developer, for Red Hat Developers <https://developers.redhat.com/>
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
