On Sat., Mar. 26, 2022, 06:25 Wim Jongman, <wim.jong...@gmail.com> wrote:
> The transition team is making great progress. > > On behalf of everyone: Thank you all! > I second that! Jonah > 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 >
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
