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.

&#8203;