
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.