[PATCH 1/1] Correct U-Boot upstream repository

[Wolfgang Denk <wd@denx.de>]

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

-- 
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: wd at denx.de
Imagination is more important than knowledge.      -- Albert Einstein