6
\$\begingroup\$

We've got 4 tags on main that have synonyms, but are currently pending merging with their synonyms. The end goal of tag synonyms is, eventually, to merge them, and so, after a few years, I think it's about time we decide whether to merge the tags or not.

The tags are, with the number of questions with that tag:

and haven't been used on a challenge since 2023 and 2024 respectively, while and have been used in the last couple months. Forcing through a merge for any or all of these tags would simply retag the existing tags into their synonyms.

The point of merging tag synonyms is to help organizing tagging, to remove superfluous tags and to clean up tag synonyms. Part of a moderator's job is to merge tag synonyms with no objections. Therefore, the question is thus: are there are any reasons why these tag synonyms should not be merged?

\$\endgroup\$
2
  • 1
    \$\begingroup\$ I really think optimization is a bad tag. It's use is all over the place and it's description is not helpful. optimized-output seems at least a little more descriptive in name. \$\endgroup\$ Commented Aug 19 at 13:10
  • 1
    \$\begingroup\$ @WheatWizard Fully agreed. I am tempted to open a separate discussion specifically around that tag, as it seems perhaps as broad as a tag could get, and would benefit from some specialization. \$\endgroup\$ Commented Aug 20 at 3:04

1 Answer 1

Reset to default
6
\$\begingroup\$

The suggestion below has been implemented

The three synonyms have now been merged into their parents tags.

It's been a couple months, so I figured I'd get around to answering this as no-one else has.

I think that the , and synonyms are pretty clear-cut:

As for and , we've already discussed what to do with it without coming to any real consensus, and so I believe another question should be opened to properly specify what to do with the tag.

\$\endgroup\$
1
  • 2
    \$\begingroup\$ I agree with everything here. In my opinion an "ip-address" tag seems like it would be pretty niche and unecessary. The most recent question I could find that would use it is from 7 years ago, and in all of the ones I've seen I think "string" would suffice \$\endgroup\$ Commented Oct 9 at 14:55

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.