On Fri, Mar 21, 2025 at 9:33 AM Michał Górny <mgo...@gentoo.org> wrote:
> Hello, everyone. > > TL;DR: I'm thinking of shutting down all gentoo-mirror repositories, > except for gentoo and guru. > > > Over 10 years ago, I've started the repository mirror & CI project. > What started as a bunch of shell scripts on a user-donated server, has > organically grown into a bigger bunch of shell scripts managed by Infra. > Nevertheless, it's still a bunch of hacks glued together. > > Things don't work well all the time. Sometimes stuff randomly crashes, > and I have to SSH and remove local checkouts to make it work. Sometimes > the git repositories used to transfer logs grow so big they kill infra. > Often some repository starts crashing this or another part and needs to > be disabled. > > To be honest, I have no energy to keep maintaining this. I'm really > tired of having to deal with stuff crashing and spamming my mailbox with > failure mails. I'm tired of having to go through all the infra hoops > just to disable another repository that can't work for one reason or > another. In fact, I'm even tired that whenever people add new > repositories to api.gentoo.org, I have to go through that idiotic GitHub > clickety-click UI to stop receiving notifications for everything that > happens in these repositories. > > So what I'm thinking about is winding most of the project down. We'd > stop mirroring third-party repositories, and remove most of gentoo- > mirror organization. What I'd like to leave is mirroring of gentoo > and guru repositories, since these two we have control of, and are very > important to Gentoo users. > > So, well, unless someone convinces me otherwise, I'm going to disable > all other repositories over the next weekend, and remove their mirrors. > Gentoo and GURU will still be mirrored, and CI will keep running > as usual. > > -- > Best regards, > Michał Górny > > I've been following the discussion, but I still don't know enough to have an opinion. Why was this infrastructure created in the first place? -MD
