> rsync.net also supports cloning and pull mirroring, haven't tested
> push but it should work.

The articles you linked showed standard command line git on Linux.

> GitHub's competency in operations is quasi-infinitely better than
> GitLab's (ask for details), I'd advise making any master repo be on
> GitHub as things stand today.

Details would be interesting. I don't have a preference on which host
the master copy is on, but I couldn't as easily find free github->gitlab
automatic push. Maybe it exists.

I turned off the issue tracker and wiki in GitHub. We should be
disciplined about having discussions on the mailing list.

> Unless Arthur wants to backup the mailing list archives to rsync.net,
> this will be the end of the rsync.net backup service I arranged back
> in October.

I have nothing against more backups but would vote to have the main ones
on de facto standard platforms. The big benefit of GitHub and GitLab is
the automatic push. If you can install a cron job to do git pulls, that
would work as well.

If we are to back up all the SRFI repos in one central place, that may
require some creativity as it may hit GitHub's traffic limits if pulling
200+ repos consequently.