The transition team is making great progress. On behalf of everyone: Thank you all!
Cheers, Wim On Fri, 25 Mar 2022 at 16:16, Mickael Istria <mist...@redhat.com> wrote: > eclipse.platform.text Git repository is now moved to GitHub: > https://github.com/eclipse-platform/eclipse.platform.text > If you see this message, perform GitHub migration by (assuming the legacy > Gerrit repo is called `upstream`) > $ git reset --hard HEAD^ > $ git remote set upstream g...@github.com: > eclipse-platform/eclipse.platform.text.git > $ git pull upstream master > > -- > 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 >
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
