> From: Lassi Kortela <xxxxxx@lassi.io>
> Date: Friday, August 07, 2020 7:12 AM
>
>> Gitlab supports push or pull mirroring from any publicly accessible Git
>> repo, including Github.  See
>> https://docs.gitlab.com/ee/user/project/repository/repository_mirroring.html for
>> documentation.

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

> [ Details from that page. ]
>
> If that's correct, we should be able to host the master copy in GitLab
> for free and have it push to GitHub on each commit?

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.

> Harold, what do you think of this kind of arrangement?

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.

- Harold