Re: Fwd: cmucl | Remote mirror update failed
On 7/9/25 6:17 PM, David Cooper wrote:
Ray,
I don't think it has (to have) anything to do with any of your existing keys. The gitlab interface gives you a new public key meant specifically for the mirroring instance, and you copy it with the clipboard icon in lower left of the image below ("Copy Public SSH Key"). I did that.
You then paste that key as a normal SSH key into the Settings -> SSH Keys of the owning github account of the target repository (not deploy key -- i think deploy keys are normally read-only aren't they?)
I did that too. I must have made a mistake last time because github said the key already existed. But I did it just now and there's an extra ssh key that I just added. Wonder what I did wrong? (I didn't know until now but there's a button that says deploy keys can have write access.) Anyway, I started the mirroring process again. Let's see how that goes... 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 <https://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. Thanks for your help!
[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: https://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:// mailto: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:// mailto:git@github.com /gornskew/skewed-emacs.git
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]
Yes. Once I get this working, I have other projects that I'd like to mirror to github too.
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 <https://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.
Yes, that was not something you wanted to do. — jb On Jul 10, 2025 at 19:07 -0400, Raymond Toy <toy.raymond@gmail.com>, wrote:
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]
Yes. Once I get this working, I have other projects that I'd like to mirror to github too.
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.
participants (3)
-
David Cooper -
Jon Boone -
Raymond Toy