8

Following up previous discussion we definitively found those tags useless, so there are two options to make the change definitive:

  • Manual cleanup (bleh! but yay!)
  • Automated (yay! but bleh!)

Why those reactions, well, manual cleanup also allows us to review the state of other tags, add tag, fix title, etc. make more improvements. The problem is that as "manual" implies, we need to use "user time" to do this. The automated way is the opposite, it doesn't use user time (only moderators >:)), but leaves potential fixes that can be applied to such posts that a manual clean up could address.

What $PATH should we take?

2

I have merged into , the various fedoras into , and into and into .

I can't find any other version-specific tags so I think that's the lot of them. If anyone finds new ones, please leave me a comment here, or flag the relevant post for mod attention and point out the tag.

6

Posts with /distro-version tags aren't significantly more in need of editing than average. There are plenty of /distro tags that shouldn't have that tag, too. Having decided that having the version in the tag is useless, changing /distro-version to /distro does not remove any information. So there is no advantage to a manual cleanup. There are obvious downsides to a manual cleanup: it takes significant effort and bumps questions.

Hence: merge.

Note that I'm specifically talking about /distro-version tags like or . /distro-variant tags like are a different matter; if we decide to get rid of them (and I'm not saying it's a good idea to do that), we'd have to decide whether to change into , or both, on each question separately.

2

Unofficial list of distro-version tags, feel free to add more:

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .