Dear Heinrich, In message <[email protected]> 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 -- DENX Software Engineering GmbH, Managing Director: Wolfgang Denk HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany Phone: (+49)-8142-66989-10 Fax: (+49)-8142-66989-80 Email: [email protected] Imagination is more important than knowledge. -- Albert Einstein
