Mirroring to github (was: Re: Fwd: cmucl | Remote mirror update failed)

David Cooper <[email protected]> Thu, 10 Jul 2025 12:50:34 -0400
Newsgroups gmane.lisp.common-lisp-net.devel
Message-ID <[email protected]>
------=_Part_1083164_588858752.1752166234852
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

[I'm continuing this on the clo-devel list because I think it's important f=
or people to know how to mirror their repos - we occasionally get complaint=
s about undermining the visibility of CL by keeping our own gitlab, so fine=
, let's mirror our repos on github...=C2=A0 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]=C2=A0









Oh, in case any
        wants to know, the format of the url isn't really clear. What I
        ended up using was ssh: https://[email protected]/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:[email protected] /<account>/<proj=
ect>.git and it expects to find the public SSH key in the <account>, so usi=
ng <account> in place of git as the ssh username is redundant and may not w=
ork.=C2=A0

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

=C2=A0 =C2=A0ssh:// mailto:[email protected] /gornskew/skewed-emacs.git=C2=A0
------=_Part_1083164_588858752.1752166234852
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><head>=
<meta content=3D"text/html;charset=3DUTF-8" http-equiv=3D"Content-Type"></h=
ead><body ><div style=3D"font-family: Verdana, Arial, Helvetica, sans-serif=
; font-size: 10pt;"><div class=3D"zmail_extra" data-zbluepencil-ignore=3D"t=
rue"><blockquote id=3D"blockquote_zmail" style=3D"margin: 0px;"><div class=
=3D"x_1635133193markdown-here-wrapper"><p style=3D"margin-bottom: 19.2px; m=
argin-top: 0px"><br>[I'm continuing this on the clo-devel list because I th=
ink it's important for people to know how to mirror their repos - we occasi=
onally get complaints about undermining the visibility of CL by keeping our=
 own gitlab, so fine, let's mirror our repos on github...&nbsp; and keep th=
e masters at gitlab.common-lisp.net where you can avail of our burgeoning C=
L-specific services that you won't find at github]&nbsp;<br><br></p></div><=
/blockquote></div><blockquote><div class=3D"zmail_extra" data-zbluepencil-i=
gnore=3D"true"><blockquote id=3D"blockquote_zmail" style=3D"margin: 0px;"><=
div class=3D"x_1635133193markdown-here-wrapper"><div><br><br><br><br>Oh, in=
 case any
        wants to know, the format of the url isn't really clear. What I
        ended up using was ssh:<a target=3D"_blank" href=3D"https://rtoy@gi=
thub.com/rtoy/cmucl.git">//[email protected]/rtoy/cmucl.git</a>,
        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.<br></div></div></blockquote></div><blockquote><div class=3D=
"zmail_extra" data-zbluepencil-ignore=3D"true"><blockquote id=3D"blockquote=
_zmail" style=3D"margin: 0px;"><div class=3D"x_1635133193markdown-here-wrap=
per"><p style=3D"margin-bottom: 19.2px; margin-top: 0px"><br></p></div></bl=
ockquote></div></blockquote></blockquote><div class=3D"zmail_extra" data-zb=
luepencil-ignore=3D"true"><blockquote id=3D"blockquote_zmail" style=3D"marg=
in: 0px;"><div style=3D"min-height: 0px; width: 0px; max-height: 0px; font-=
size: 0px; padding: 0px; margin: 0px;" class=3D"x_1635133193mdhr-raw"><span=
 class=3D"overFlow" style=3D"overflow:hidden;max-width:0px">&amp;#8203;</sp=
an><br></div></blockquote></div><div>I'm pretty sure the format is ssh://<a=
 target=3D"_blank" href=3D"mailto:[email protected]">[email protected]</a>/&lt;ac=
count&gt;/&lt;project&gt;.git and it expects to find the public SSH key in =
the &lt;account&gt;, so using &lt;account&gt; in place of git as the ssh us=
ername is redundant and may not work.&nbsp;<br><br>As in my attached image =
for example (a configuration which I confirm works):<br><br>&nbsp; &nbsp;ss=
h://<a target=3D"_blank" href=3D"mailto:[email protected]">[email protected]</a>/=
gornskew/skewed-emacs.git&nbsp;<br><br><br></div></div><br></body></html>
------=_Part_1083164_588858752.1752166234852--