Re: Do I have to do anything to get GitHub Mirroring?

Robert Goldman <[email protected]> Fri, 11 Jul 2025 16:00:42 -0500
Newsgroups gmane.lisp.common-lisp-net.devel
Message-ID <[email protected]>
--=_MailMate_98AE0994-09A0-413D-A2DB-5558BA3455BD_=
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

It looks like this was all set up earlier and has simply continued. I 
just looked and some stuff I'd pushed to cl.net has made it to GitHub. 
No idea how that happened, but if it ain't broke, I'm not going to try 
to fix it!

Best,
R

On 3 Jul 2025, at 15:15, David Cooper wrote:

> In gitlab, you can set up mirroring for a repository by opening the 
> menu on the left for the repository, then Settings -> Repository -> 
> Mirroring Repositories 
>
>
> It lets you set up a private/public keypair for it there on the fly 
> which you can then paste into github. Let me know if you can/can't get 
> it working. 
>
>
>
>
> Dave Cooper
>
>
>
>
>
>
>
>
> ---- On Thu, 03 Jul 2025 15:56:58 -0400 Robert Goldman 
> <[email protected]> wrote ---
>
>
>
> I was just editing the README.md for the Iterate macro and it says 
> that the repo is mirrored on GitHub.  There is a clone at 
> GitHub.com/lisp-mirror/iterate . Anyone know if this gets 
> automatically updated somehow? Or do I have to do it manually?
>
> Thanks,
> R


--=_MailMate_98AE0994-09A0-413D-A2DB-5558BA3455BD_=
Content-Type: text/html
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html>
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/xhtml; charset=3Dutf-8"=
>
</head>
<body><div style=3D"font-family: sans-serif;"><div class=3D"plaintext" st=
yle=3D"white-space: normal;"><p dir=3D"auto">It looks like this was all s=
et up earlier and has simply continued. I just looked and some stuff I'd =
pushed to cl.net has made it to GitHub. No idea how that happened, but if=
 it ain't broke, I'm not going to try to fix it!</p>
<p dir=3D"auto">Best,
<br>
R</p>
<p dir=3D"auto">On 3 Jul 2025, at 15:15, David Cooper wrote:</p>
</div><blockquote class=3D"embedded" style=3D"margin: 0 0 5px; padding-le=
ft: 5px; border-left: 2px solid #777777; color: #777777;"><div id=3D"71FE=
0389-6DD2-4C02-9FF5-B275E132CAC2">

<div style=3D"font-family: Verdana, Arial, Helvetica, sans-serif; font-si=
ze: 10pt;">
<div><br></div>
<div>In gitlab, you can set up mirroring for a repository by opening the =
menu on the left for the repository, then Settings -&gt; Repository -&gt;=
 Mirroring Repositories&nbsp;<br>
<br>
<br>
It lets you set up a private/public keypair for it there on the fly which=
 you can then paste into github. Let me know if you can/can't get it work=
ing.&nbsp;</div>
<div><br></div>
<div><br></div>
<div id=3D"Zm-_Id_-Sgn" data-sigid=3D"4506931000000010003" data-zbluepenc=
il-ignore=3D"true">
<div>Dave Cooper<br></div>
</div>
<div><br></div>
<div class=3D"zmail_extra_hr" style=3D"border-top: 1px solid rgb(204, 204=
, 204); height: 0px; margin-top: 10px; margin-bottom: 10px; line-height: =
0px;"><br></div>
<div class=3D"zmail_extra" data-zbluepencil-ignore=3D"true">
<div><br></div>
<div id=3D"Zm-_Id_-Sgn1">---- On Thu, 03 Jul 2025 15:56:58 -0400 <b>Rober=
t Goldman &lt;[email protected]&gt;</b> wrote ---<br></div>
<div><br></div>
<blockquote id=3D"blockquote_zmail" style=3D"margin: 0px;">
<div>I was just editing the README.md for the Iterate macro and it says t=
hat the repo is mirrored on GitHub. There is a clone at GitHub.com/lisp-m=
irror/iterate . Anyone know if this gets automatically updated somehow? O=
r do I have to do it manually?<br>
<br>
Thanks,<br>
R<br></div>
</blockquote>
</div>
<div><br></div>
</div>
<br></div></blockquote>
<div class=3D"plaintext" style=3D"white-space: normal;">
</div>

</div>
</body>

</html>

--=_MailMate_98AE0994-09A0-413D-A2DB-5558BA3455BD_=--