> > > > Is it appropriate to list services that are not managed by infra on this > > page? > > Yes, in the 'External-run' section of the page. I'll add a stub for > stable-bot now that we have some more details.
In any case, since many people *do* rely on it, maybe we should declare it official? [+] And, if that's OK with both of you, move it onto infra hardware? Happy to sponsor both for the next council meeting agenda. [+] At some point the one remaining whiner doesnt count anymore. -- Andreas K. Hüttel dilfri...@gentoo.org Gentoo Linux developer (council, toolchain, base-system, perl, libreoffice)