Hi Ray,

 It looks like your gitlab.clnet -> github mirror setup needs some configuration.

 Let me know if you need any help on it on our end. As far as I know, the gitlab end of this can be configured from your repository page under Settings->Repositories->Mirrors.  If you need a new keypair, I think the "add a mirror" page has an automatic way to generate one, such that you can copy/paste the public one into the target github repo. 

Dave




============ Forwarded message ============
From: GitLab <gitlab@future.common-lisp.net>
To: <admin@common-lisp.net>
Date: Wed, 09 Jul 2025 19:06:15 -0400
Subject: cmucl | Remote mirror update failed
============ Forwarded message ============

A remote mirror update has failed.
 
Source project
cmucl / cmucl
Remote mirror
ssh://*****@github.com/rtoy/cmucl.git
Last update at
2025-07-09 23:06:15 UTC
Logs may contain sensitive data. Please consider before forwarding this email.
13:get remote references: create git ls-remote: exit status 128, stderr: "No ED25519 host key is known for github.com and you have requested strict checking.\r\nHost key verification failed.\r\nfatal: Could not read from remote repository.\n\nPlease make sure you have the correct access rights\nand the repository exists.\n".


View it on GitLab.
You're receiving this email because of your account on gitlab.common-lisp.net. Manage all notifications · Help