I saw in the New tags section of the 10k tools. It's an obvious duplicate/synonym of , which at the time I visited already had a synonym vote for .

In this case, should we vote for tag synonyms, or edit the new tag out of the question (and possibly flag the tag for deletion - if possible, don't even know if/how that can be done).

This is just personal opinion and possibly debatable, but should either be about the command-line program called mvn (that is, if it makes sense on its own as a tag), or not exist.

Note: I already edited the tag out of the question, I just would like to know which would be the right course of action in this case.


Edit it out, then the tag will auto destruct after a while if nothing is using it.

If there is an executable called mvn.exe and the tag was intended for that then the author should have used that. Otherwise it simply looks like either someone being lazy, or possibly someone's rather misguided attempt to get a badge.

| improve this answer | |
  • Great, didn't know how tags get destroyed. Looking at the tag editor's profile it does indeed look like a badge chase. There is a mvn.exe (which is how you actually use Maven), and it's probably not worthy of an own tag, anyway. I guess there isn't a specific way to flag other potentially unnecessary tags other than raising a custom flag on an arbitrary post by said user. – Xavi López Jan 23 '14 at 21:34
  • 2
    FWIW, the mvn tag is on my list of tags I keep dead daily. There have never really been enough questions in it for anyone to propose making it a synonym of maven, which is what really should happen. Someone recreates it about once every other week. – Charles Jan 23 '14 at 22:21

You must log in to answer this question.

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