The registry repo is currently at
<https://github.com/srfi-explorations/registry>. One simple way to back
it up would be to mirror it at GitLab (or the GitLab copy could be the
main one and the GitHub copy a mirror; does it matter which way it
goes?) It's incredibly unlikely that both GitHub and GitLab would
simultaneously go down (or take down our repos for some reason). Even if
they did, we still have git clones on individual people's computers.

Does anyone lurking here know how to set up automated GitLab<->GitHub
mirrors - is it difficult and what kind of infrastructure is required?