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 <[email protected]> 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 [email protected]: > 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 > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/platform-dev >
_______________________________________________ platform-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
