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 ? 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.
