There is a new comment here suggesting it's not quite done:
https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/1151#note_679407
I did already migrate the setup, but the pull request defaulted to the
wrong (current default R1_0) branch, though I could change that manually...
I guess I wasn't patient enough. Sorry.
On 11.04.2022 16:51, Mickael Istria wrote:
eclipse.platform.ui Git repository is now moved to GitHub:
https://github.com/eclipse-platform/eclipse.platform.ui
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.ui.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,
visithttps://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
