Set up a GitLab mirror as a simple backup? Lassi Kortela (07 Aug 2020 11:17 UTC)
Re: Set up a GitLab mirror as a simple backup? John Cowan (07 Aug 2020 11:56 UTC)
Re: Set up a GitLab mirror as a simple backup? Lassi Kortela (07 Aug 2020 12:12 UTC)
Re: Set up a GitLab mirror as a simple backup? Lassi Kortela (07 Aug 2020 12:40 UTC)
Re: Set up a GitLab mirror as a simple backup? hga@xxxxxx (07 Aug 2020 14:44 UTC)
Re: Set up a GitLab mirror as a simple backup? Lassi Kortela (07 Aug 2020 14:58 UTC)
Re: Set up a GitLab mirror as a simple backup? hga@xxxxxx (07 Aug 2020 15:24 UTC)
Re: Set up a GitLab mirror as a simple backup? Lassi Kortela (07 Aug 2020 15:44 UTC)
Re: Set up a GitLab mirror as a simple backup? hga@xxxxxx (07 Aug 2020 16:11 UTC)
Re: Set up a GitLab mirror as a simple backup? Arthur A. Gleckler (08 Aug 2020 01:44 UTC)
Re: Set up a GitLab mirror as a simple backup? Arthur A. Gleckler (07 Aug 2020 15:25 UTC)

Set up a GitLab mirror as a simple backup? Lassi Kortela 07 Aug 2020 11:17 UTC

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?