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
