> 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.

That's great news! From that page:

"There are two kinds of repository mirroring supported by GitLab:
Push: for mirroring a GitLab repository to another location.
Pull: ..."

It sounds like Push is free and Pull needs a paid account.

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?

I'll make a test repo on my GitLab account to try it out.

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

> Note that this is one way; AFAICT there is no support for two-way mirroring.

It's hard to find information on a similar offering by GitHub. A few
quick web searches turn up nothing official.