Rename pde.ui repository to pde about eclipse.pde

[vogella]

Sounds reasonable. Will this be just a rename of the existing repo so that issues/PR continue to exist just as they are with only a new URL?

Just a rename. For https://github.com/eclipse/gef-classic which used to be https://github.com/eclipse/gef-legacy it worked flawless, also existing PR were still intact.

@vik-chand please approve.

[akurtakov]

@sravanlakkimsetti FYI as change in aggregator submodules would be required for this.

[vogella]

@akurtakov I think Github would forward to the new repo but of course we should update the URL after the rename just to avoid storing old data / URLs.

[HannesWell]

Sounds reasonable.
Will this be just a rename of the existing repo so that issues/PR continue to exist just as they are with only a new URL?

[vik-chand]

Looks good to me.

[vogella]

https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/1199

[HannesWell]

Just a rename. For https://github.com/eclipse/gef-classic which used to be https://github.com/eclipse/gef-legacy it worked flawless, also existing PR were still intact.

https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/1199

Thanks!

[vogella]

Done

[vogella]

PR for aggregator eclipse-platform/eclipse.platform.releng.aggregator#228

[HannesWell]

Thank you Lars!
Is this task then completed and we can close this?

[vik-chand]

I think we are done here. There was a javadoc/releng test failure issue which I have fixed ( hopefully).

eclipse-platform/eclipse.platform.common#13