Re: Fwd: cmucl | Remote mirror update failed

Raymond Toy <[email protected]> Thu, 10 Jul 2025 07:07:38 -0700
Newsgroups	gmane.lisp.common-lisp-net.devel
Message-ID	<[email protected]>
This is a multi-part message in MIME format.
--------------ZmQvUkl5AhrmKT1EeUiwZ2Er
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

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://[email protected]/rtoy/cmucl.git 
<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.

Thanks for your help!

&#8203;
--------------ZmQvUkl5AhrmKT1EeUiwZ2Er
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html>
<html>
  <head>

    <meta http-equiv=3D"content-type" content=3D"text/html; charset=3DUTF=
-8">
    <title></title>
    <meta charset=3D"utf-8">
  </head>
  <body>
    <div class=3D"markdown-here-wrapper">
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">On 7/9/25 6:17=

        PM, David Cooper wrote:</p>
      <blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
        <div class=3D"external-content" id=3D"extcontent-0"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(119, 119, 119); border-left-col=
or: rgb(119, 119, 119); border-right-color: rgb(119, 119, 119); border-to=
p-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-color=
: rgb(119, 119, 119); outline-color: rgb(119, 119, 119); quotes: none; te=
xt-decoration-color: rgb(119, 119, 119); text-emphasis-color: rgb(119, 11=
9, 119);">
          <div
style=3D"font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1=
0pt;">
            <div>Ray,=C2=A0<br>
              <br>
            </div>
            <div>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").=C2=A0<br>
            </div>
          </div>
        </div>
      </blockquote>
      I did that.<br>
      <blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
        <div class=3D"external-content" id=3D"extcontent-1"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(119, 119, 119); border-left-col=
or: rgb(119, 119, 119); border-right-color: rgb(119, 119, 119); border-to=
p-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-color=
: rgb(119, 119, 119); outline-color: rgb(119, 119, 119); quotes: none; te=
xt-decoration-color: rgb(119, 119, 119); text-emphasis-color: rgb(119, 11=
9, 119);">
          <div
style=3D"font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1=
0pt;">
            <div><br>
              You then paste that key as a normal SSH key into the
              Settings -&gt; 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?)=C2=A0<br>
            </div>
          </div>
        </div>
      </blockquote>
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">I did that too=
=2E
        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?</p>
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">(I didn't know=

        until now but there's a button that says deploy keys can have
        write access.)</p>
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">Anyway, I
        started the mirroring process again. Let's see how that goes...</=
p>
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">Oh, in case an=
y
        wants to know, the format of the url isn't really clear. What I
        ended up using was ssh:<a
          href=3D"https://[email protected]/rtoy/cmucl.git">//[email protected]=
om/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.</p>
      <p style=3D"margin-bottom: 19.2px; margin-top: 0px;">Thanks for you=
r
        help!</p>
    </div>
    <div class=3D"mdhr-raw"
style=3D"height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-s=
ize:0;padding:0;margin:0;"
      aria-hidden=3D"true"
title=3D"MDH:PHA+PGJyPjwvcD48ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDcv=
OS8yNSA2OjE3IFBNLCBEYXZpZCBDb29wZXIgd3JvdGU6PGJyPjwvZGl2PjxibG9ja3F1b3RlI=
HR5cGU9ImNpdGUiIGNpdGU9Im1pZDoxOTdmMWU4ZjMyOC40ZThhMjE4NDcwMjA4MS4xNzczNz=
M2OTkyNjQxMzkzNTY0QGdlbndvcmtzLmNvbSI+CjxtZXRhIGNvbnRlbnQ9InRleHQvaHRtbDs=
gY2hhcnNldD0iIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSI+PGRpdiBzdHlsZT0iZm9udC1m=
YW1pbHk6IFZlcmRhbmEsIEFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6Z=
TogMTBwdDsiPjxkaXY+UmF5LCZuYnNwOzxicj48YnI+PC9kaXY+PGRpdj5JIGRvbid0IHRoaW=
5rIGl0IGhhcyAodG8gaGF2ZSkgYW55dGhpbmcgdG8gZG8gd2l0aCBhbnkgb2YgeW91ciBleGl=
zdGluZyBrZXlzLiBUaGUgZ2l0bGFiIGludGVyZmFjZSBnaXZlcyB5b3UgYSBuZXcgcHVibGlj=
IGtleSBtZWFudCBzcGVjaWZpY2FsbHkgZm9yIHRoZSBtaXJyb3JpbmcgaW5zdGFuY2UsIGFuZ=
CB5b3UgY29weSBpdCB3aXRoIHRoZSBjbGlwYm9hcmQgaWNvbiBpbiBsb3dlciBsZWZ0IG9mIH=
RoZSBpbWFnZSBiZWxvdyAoIkNvcHkgUHVibGljIFNTSCBLZXkiKS4mbmJzcDs8YnI+PC9kaXY=
+PC9kaXY+PC9ibG9ja3F1b3RlPkkgZGlkIHRoYXQuJm5ic3A7Jm5ic3A7PGJyPjxibG9ja3F1=
b3RlIHR5cGU9ImNpdGUiIGNpdGU9Im1pZDoxOTdmMWU4ZjMyOC40ZThhMjE4NDcwMjA4MS4xN=
zczNzM2OTkyNjQxMzkzNTY0QGdlbndvcmtzLmNvbSI+PGRpdiBzdHlsZT0iZm9udC1mYW1pbH=
k6IFZlcmRhbmEsIEFyaWFsLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTB=
wdDsiPjxkaXY+PGJyPllvdSB0aGVuIHBhc3RlIHRoYXQga2V5IGFzIGEgbm9ybWFsIFNTSCBr=
ZXkgaW50byB0aGUgU2V0dGluZ3MgLSZndDsgU1NIIEtleXMgb2YgdGhlIG93bmluZyBnaXRod=
WIgYWNjb3VudCBvZiB0aGUgdGFyZ2V0IHJlcG9zaXRvcnkgKG5vdCBkZXBsb3kga2V5IC0tIG=
kgdGhpbmsgZGVwbG95IGtleXMgYXJlIG5vcm1hbGx5IHJlYWQtb25seSBhcmVuJ3QgdGhleT8=
pJm5ic3A7PGJyPjwvZGl2PjwvZGl2PjwvYmxvY2txdW90ZT48cD5JIGRpZCB0aGF0IHRvby4m=
bmJzcDsgSSBtdXN0IGhhdmUgbWFkZSBhIG1pc3Rha2UgbGFzdCB0aW1lIGJlY2F1c2UgZ2l0a=
HViIHNhaWQgdGhlIGtleSBhbHJlYWR5IGV4aXN0ZWQuJm5ic3A7IEJ1dCBJIGRpZCBpdCBqdX=
N0IG5vdyBhbmQgdGhlcmUncyBhbiBleHRyYSBzc2gga2V5IHRoYXQgSSBqdXN0IGFkZGVkLiZ=
uYnNwOyBXb25kZXIgd2hhdCBJIGRpZCB3cm9uZz88L3A+PHA+KEkgZGlkbid0IGtub3cgdW50=
aWwgbm93IGJ1dCB0aGVyZSdzIGEgYnV0dG9uIHRoYXQgc2F5cyBkZXBsb3kga2V5cyBjYW4ga=
GF2ZSB3cml0ZSBhY2Nlc3MuKTwvcD48cD5Bbnl3YXksIEkgc3RhcnRlZCB0aGUgbWlycm9yaW=
5nIHByb2Nlc3MgYWdhaW4uIExldCdzIHNlZSBob3cgdGhhdCBnb2VzLi4uPC9wPjxwPk9oLCB=
pbiBjYXNlIGFueSB3YW50cyB0byBrbm93LCB0aGUgZm9ybWF0IG9mIHRoZSB1cmwgaXNuJ3Qg=
cmVhbGx5IGNsZWFyLiZuYnNwOyBXaGF0IEkgZW5kZWQgdXAgdXNpbmcgd2FzIHNzaDovL3J0b=
3lAZ2l0aHViLmNvbS9ydG95L2NtdWNsLmdpdCwgc2luY2UgcnRveSBpcyBteSBnaXRodWIgdW=
lkLiZuYnNwOyBJIHRoaW5rOyBJIGRpZG4ndCB3cml0ZSBpdCBkb3duIGFuZCBnaXRsYWIgZG9=
lc24ndCBzaG93IGl0IGFuZCB0aGVyZSBkb2Vzbid0IHNlZW0gdG8gYmUgYW55IHdheSB0byBn=
ZXQgaXQuPGJyPjwvcD48cD5UaGFua3MgZm9yIHlvdXIgaGVscCE8YnI+PC9wPjxicj48dWwgY=
2xhc3M9ImRyb3Bkb3duLW1lbnUgdGV4dGNvbXBsZXRlLWRyb3Bkb3duIiBzdHlsZT0iZGlzcG=
xheTogbm9uZTsgcG9zaXRpb246IGFic29sdXRlOyB6LWluZGV4OiAxMDAwOyIgY29udGVudGV=
kaXRhYmxlPSJmYWxzZSIgcG9wb3Zlcj0iYXV0byI+PC91bD4=3D">&amp;#8203;</div>
  </body>
</html>

--------------ZmQvUkl5AhrmKT1EeUiwZ2Er--