Thanks, Dave. Will do! 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