On 7/9/25 4:30 PM, David Cooper wrote:

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. 

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.