On Tue, Aug 31, 2021, at 12:19, Florian Weimer wrote: > * Brian Stinson: > > > There is a ton of tooling that relies on the repo naming that we have > > right now, and maintainers are actively working against the naming > > conventions we have. Itmakes sense to have a convention for the very > > very few packages affected here, but we shouldn't apply that to the > > entirety of dist-git just because of infra problems with a handful of > > package names. > > The bulk rename would force everyone to get their tooling in order. I'm > pretty sure it's the only way to fix the “tree” problem everywhere. > Otherwise, people say “I'll deal with that manually” or “we're just > going to add that special case”. But in too many cases, neither > happens, and it just remains unfixed indefintely. And never get out of > a bad state. > > Thanks, > Florian > "force everyone to get their tooling in order" and disrupt hundreds of folks doing regular development for how long? Solving this by asking a very small number maintainers to adjust their repo names seems a much better use of time and effort here. --Brian