I’m getting error messages (see below). Any news? Larry src/HOL: hg fetch remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ remote: @ WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! @ remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ remote: IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY! remote: Someone could be eavesdropping on you right now (man-in-the-middle attack)! remote: It is also possible that a host key has just been changed. remote: The fingerprint for the ECDSA key sent by the remote host is remote: SHA256:q8AlcyiOs8RycfEnardRUfjUWwYwDrMMURBkZ7E0Eus. remote: Please contact your system administrator. remote: Add correct host key in /Users/lp15/.ssh/known_hosts to get rid of this message. remote: Offending ECDSA key in /Users/lp15/.ssh/known_hosts:114 remote: ECDSA host key for lxbroy10.informatik.tu-muenchen.de has changed and you have requested strict checking. remote: Host key verification failed. abort: no suitable response from remote hg! src/HOL: bbedit /Users/lp15/.ssh/known_hosts src/HOL: hg fetch The authenticity of host 'lxbroy10.informatik.tu-muenchen.de (131.159.47.103)' can't be established. ED25519 key fingerprint is SHA256:6TjNHA9NX8QcZxCQ6ROvwhtrq7prqnclE+I/1KlLpGE. Are you sure you want to continue connecting (yes/no/[fingerprint])? yes remote: Warning: Permanently added 'lxbroy10.informatik.tu-muenchen.de,131.159.47.103' (ED25519) to the list of known hosts. remote: Warning: No xauth data; using fake authentication data for X11 forwarding. remote: abort: repository /home/isabelle-repository/repos/isabelle not found! abort: no suitable response from remote hg! src/HOL:
Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
