Things are fine now and migration is complete.
___
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
On Mon, Apr 11, 2022 at 5:20 PM Ed Merks wrote:
> 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) bran
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 was
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-p
