Pádraig Brady wrote: > One could request this with an email back in the day. > They set it up promptly when I asked. > I'm not sure if they support adding new mirrors though, > and I didn't find any info with a quick search.
They don't support it any more [1]. The method they suggest is [2]. Collin Funk writes: > https://github.com/emacsmirror/.savannah/blob/main/.github/workflows/mirror-emacs.yml That looks somewhat inefficient, compared to using a cron job on a self-owned machine. But at least it works and is a proof-of-concept. > > * Should we create mirrors of other package repositories at GitLab or > GitHub? > > Well gitlab is open source and can be self hosted, > so I suppose it's a preferable choice for general mirroring. > https://docs.gitlab.com/user/project/repository/mirror/ Well: If I self-host such a mirror, I have costs and I have no dDoS protection. And if I choose GitLab hosting, I have costs as well since "Mirror a repository from another location" is only "Available in the Premium and Ultimate tier". I guess only the method [2] comes with no monthly cost. Bruno [1] https://stackoverflow.com/questions/11370239/ [2] https://docs.github.com/en/repositories/creating-and-managing-repositories/duplicating-a-repository#mirroring-a-repository-in-another-location
