IP/key change for gitlab.haskell.org?

[Ben Gamari]

On June 25, 2020 6:41:12 AM EDT, Richard Eisenberg <rae at richarde.dev> wrote:
>An innocent `git push` yielded this today:
>
>@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
>@       WARNING: POSSIBLE DNS SPOOFING DETECTED!          @
>@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
>The ED25519 host key for gitlab.haskell.org has changed,
>and the key for the corresponding IP address 139.178.85.33
>is unknown. This could either mean that
>DNS SPOOFING is happening or the IP address for the host
>and its host key have changed at the same time.
>@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
>@    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
>@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
>IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
>Someone could be eavesdropping on you right now (man-in-the-middle
>attack)!
>It is also possible that a host key has just been changed.
>The fingerprint for the ED25519 key sent by the remote host is
>SHA256:/dI7zsBRZNPB+0TqskF7rSaZ/LhQw0cF4c5W+4uMlRo.
>Please contact your system administrator.
>Add correct host key in /Users/rae/.ssh/known_hosts to get rid of this
>message.
>Offending ED25519 key in /Users/rae/.ssh/known_hosts:21
>ED25519 host key for gitlab.haskell.org has changed and you have
>requested strict checking.
>Host key verification failed.
>
>I know the server had a rough weekend. Is this a natural consequence,
>or is something fishy going on?
>
>Thanks,
>Richard
>_______________________________________________
>ghc-devs mailing list
>ghc-devs at haskell.org
>http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Yes, as Simon pointed out this is expected. My apologies for the incovenience.

Cheers,

- Ben