On Sat., Mar. 26, 2022, 06:25 Wim Jongman, <[email protected]> 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 <[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 >
_______________________________________________ platform-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
