Dear Heinrich,
In message DEE92836-32D1-4113-A3DA-88EF3805968E@gmx.de you wrote:
If we can have a redirect on the old server, we should be fine.
I wrote:
| We will install redirects to forward HTTP accesses from the old | repository URLs to the new host. This should make the transition | mostly transparent, but does not cover everything. The following | needs to be taken care of manually: | | - Update the SSH URI for pushing to the repositories. Just replace | gitlab.denx.de with source.denx.de . We will transfer all the | SSH-keys to the new host so nothing else should be needed. | | - Make sure you're logging in on source.denx.de . Access to | gitlab.denx.de will no longer work! | | - CI runners connected to gitlab.denx.de need to be re-registered | with source.denx.de .
And just to avoid misunderstandings: MTTPS too, of course.
Best regards,
Wolfgang Denk