Should [code-golf-tips] be replaced with [tips] + [code-golf]?
+4
−0
Instead of the code-golf-tips tag, could we tag "Tips for golfing" questions with tips and code-golf instead? They can still be searched for, so I don't see a reason to make a special tag to represent two distinct tags.
1 answer
+6
−0
Yes
tips is a sort of prefix tag, and code-golf-tips is a superfluous tag. I think it it worth keeping them separate because tips is already very flexible.
1 comment thread