Re: [platform-dev] eclipse.platform.ui Git repository now on GitHub

[Ed Merks <ed.merks@xxxxxxxxx>]

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 git@xxxxxxxxxx:eclipse-platform/eclipse.platform.ui.git
$ git pull upstream master

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

_______________________________________________
platform-dev mailing list
platform-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev