On Tue, 30 Aug 2022, 10:41 Antoine Leudière, <antoine.leudi...@gmail.com> wrote:
> Hi, > > It seems the Trac SSH server key has changed; got this message after > attempting > `git push`: > > ``` > @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ > @ 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 ECDSA key sent by the remote host is > SHA256:... > Please contact your system administrator. > Add correct host key in myhome/.ssh/known_hosts to get rid of this message. > Offending ECDSA key in myhome/.ssh/known_hosts:34 > remove with: > ssh-keygen -f "myhome/.ssh/known_hosts" -R "trac.sagemath.org" > Host key for trac.sagemath.org has changed and you have requested strict > checking. > Host key verification failed. > fatal: Could not read from remote repository. > > Please make sure you have the correct access rights > and the repository exists. > ``` > > Can you confirm that this is normal, and that I can proceed? Is this > related to > https://groups.google.com/u/1/g/sage-devel/c/iHgyTYbNOn0 ? > yes, it is expected. The upgrade caused a change in host keys. > > Regards, > Antoine Leudière > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/13479c23-6f18-4e8b-900d-24422acbaae6n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/13479c23-6f18-4e8b-900d-24422acbaae6n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3AkhQwG_Y6WZnHEq-Mnf2w2iMwQrt54x0nhhQazbGsMQ%40mail.gmail.com.