Fwd: cmucl | Remote mirror update failed
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 https://gitlab.common-lisp.net/cmucl / https://gitlab.common-lisp.net/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". — https://gitlab.common-lisp.net/cmucl/cmucl/-/settings/repository#js-mirror-s... . You're receiving this email because of your account on https://gitlab.common-lisp.net . https://gitlab.common-lisp.net/-/profile/notifications · https://gitlab.common-lisp.net/help
On 7/9/25 4:30 PM, David Cooper wrote:
Hi Ray,
It looks like your gitlab.clnet -> github mirror setup needs some configuration.
Yes, it does. :-(
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.
The instructions on that page are not very clear and even getting the right format for the repository was a bunch of trial and error. I think I might have it right now because the error message is different from before. I googled for some help and found at https://stackoverflow.com/questions/30268549/mirroring-from-gitlab-to-github, but that's not enough. I don't know what kind of key it wants. I used the Copy Key button and pasted that as a deploy key on github, with write access. That didn't seem to help. The key that was copied appears to be my ssh public key that I use on gitlab.common-lisp.net. I'm kinda stuck now.
Ray, do you have an ssh key on the gitlab.common-lisp.org host? I think you might need to have the gitlab side configured with a key that belongs to some user on that machine and with the matching public key added to the mirror on GitHub. —jon On Wed, Jul 9, 2025 at 8:23 PM Raymond Toy <toy.raymond@gmail.com> wrote:
On 7/9/25 4:30 PM, David Cooper wrote:
Hi Ray,
It looks like your gitlab.clnet -> github mirror setup needs some configuration.
Yes, it does. :-(
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.
The instructions on that page are not very clear and even getting the right format for the repository was a bunch of trial and error. I think I might have it right now because the error message is different from before.
I googled for some help and found at https://stackoverflow.com/questions/30268549/mirroring-from-gitlab-to-github, but that's not enough. I don't know what kind of key it wants. I used the Copy Key button and pasted that as a deploy key on github, with write access. That didn't seem to help. The key that was copied appears to be my ssh public key that I use on gitlab.common-lisp.net.
I'm kinda stuck now.
Yes, I of course have a public key to be able to commit to my repos on c-l.net and to login to c-l.net. I just can't figure out what keys are needed where. Ray On Wed, Jul 9, 2025, 5:28 PM Jon Boone <ipmonger@delamancha.org> wrote:
Ray, do you have an ssh key on the gitlab.common-lisp.org host? I think you might need to have the gitlab side configured with a key that belongs to some user on that machine and with the matching public key added to the mirror on GitHub.
—jon
On Wed, Jul 9, 2025 at 8:23 PM Raymond Toy <toy.raymond@gmail.com> wrote:
On 7/9/25 4:30 PM, David Cooper wrote:
Hi Ray,
It looks like your gitlab.clnet -> github mirror setup needs some configuration.
Yes, it does. :-(
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.
The instructions on that page are not very clear and even getting the right format for the repository was a bunch of trial and error. I think I might have it right now because the error message is different from before.
I googled for some help and found at https://stackoverflow.com/questions/30268549/mirroring-from-gitlab-to-github, but that's not enough. I don't know what kind of key it wants. I used the Copy Key button and pasted that as a deploy key on github, with write access. That didn't seem to help. The key that was copied appears to be my ssh public key that I use on gitlab.common-lisp.net.
I'm kinda stuck now.
Ray, Apologies. I should have read the Stack Overflow article before responding. I know exactly what you need to do. If you what, we can work through this together off-list. —jon On Wed, Jul 9, 2025 at 8:28 PM Jon Boone <ipmonger@delamancha.org> wrote:
Ray, do you have an ssh key on the gitlab.common-lisp.org host? I think you might need to have the gitlab side configured with a key that belongs to some user on that machine and with the matching public key added to the mirror on GitHub.
—jon
On Wed, Jul 9, 2025 at 8:23 PM Raymond Toy <toy.raymond@gmail.com> wrote:
On 7/9/25 4:30 PM, David Cooper wrote:
Hi Ray,
It looks like your gitlab.clnet -> github mirror setup needs some configuration.
Yes, it does. :-(
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.
The instructions on that page are not very clear and even getting the right format for the repository was a bunch of trial and error. I think I might have it right now because the error message is different from before.
I googled for some help and found at https://stackoverflow.com/questions/30268549/mirroring-from-gitlab-to-github, but that's not enough. I don't know what kind of key it wants. I used the Copy Key button and pasted that as a deploy key on github, with write access. That didn't seem to help. The key that was copied appears to be my ssh public key that I use on gitlab.common-lisp.net.
I'm kinda stuck now.
That would be fantastic! Ray On Wed, Jul 9, 2025, 5:33 PM Jon Boone <ipmonger@delamancha.org> wrote:
Ray,
Apologies. I should have read the Stack Overflow article before responding. I know exactly what you need to do. If you what, we can work through this together off-list.
—jon
On Wed, Jul 9, 2025 at 8:28 PM Jon Boone <ipmonger@delamancha.org> wrote:
Ray, do you have an ssh key on the gitlab.common-lisp.org host? I think you might need to have the gitlab side configured with a key that belongs to some user on that machine and with the matching public key added to the mirror on GitHub.
—jon
On Wed, Jul 9, 2025 at 8:23 PM Raymond Toy <toy.raymond@gmail.com> wrote:
On 7/9/25 4:30 PM, David Cooper wrote:
Hi Ray,
It looks like your gitlab.clnet -> github mirror setup needs some configuration.
Yes, it does. :-(
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.
The instructions on that page are not very clear and even getting the right format for the repository was a bunch of trial and error. I think I might have it right now because the error message is different from before.
I googled for some help and found at https://stackoverflow.com/questions/30268549/mirroring-from-gitlab-to-github, but that's not enough. I don't know what kind of key it wants. I used the Copy Key button and pasted that as a deploy key on github, with write access. That didn't seem to help. The key that was copied appears to be my ssh public key that I use on gitlab.common-lisp.net.
I'm kinda stuck now.
participants (3)
-
David Cooper -
Jon Boone -
Raymond Toy