On 7/10/25 9:50 AM, David Cooper wrote:

[I'm continuing this on the clo-devel list because I think it's important for people to know how to mirror their repos - we occasionally get complaints about undermining the visibility of CL by keeping our own gitlab, so fine, let's mirror our repos on github...  and keep the masters at gitlab.common-lisp.net where you can avail of our burgeoning CL-specific services that you won't find at github] 

Oh, in case any wants to know, the format of the url isn't really clear. What I ended up using was ssh://rtoy@github.com/rtoy/cmucl.git, since rtoy is my github uid. I think; I didn't write it down and gitlab doesn't show it and there doesn't seem to be any way to get it.

​

I'm pretty sure the format is ssh://git@github.com/<account>/<project>.git and it expects to find the public SSH key in the <account>, so using <account> in place of git as the ssh username is redundant and may not work. 

As in my attached image for example (a configuration which I confirm works):

   ssh://git@github.com/gornskew/skewed-emacs.git 

I guess I'm just too stupid to setup mirroring. (Doing it manually from the command line works fine, though, which is how I've been keeping the mirror kinda up-to-date.)

I redid the mirroring using ssh://git@github.com/rtoy/cmucl.git and clicked the button to get a copy of the ssh key. Added that key to my ssh keys on github. I now get a different error (I think):

13:get remote references: create git ls-remote: exit status 128, stderr:

 "*****@github.com: Permission denied (publickey).

fatal: Could not read from remote repository.

Please make sure you have the correct access rights

and the repository exists.".

Perhaps I have some weird settings on my personal account or repo?

The only thing we haven't covered is that I pressed the button to "Detect host keys" instead of adding manually.