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 <rpgoldman@sift.info> 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