Should we delete the code-golf-tips tag?
+1
−0
The code-golf-tips tag seems redundant since we already have code-golf and tips. It also has zero usages.
Should this tag be deleted to avoid its future usage?
1 answer
+0
−0
Yes, it has already been decided
There was discussion of this previously in Should [code-golf-tips] be replaced with [tips] + [code-golf]? and there is clear consensus there that the preferred tag usage should be separate [tips] and [code-golf].
The [code-golf-tips] tag should therefore be deleted to avoid the usage that has already been decided against.
0 comment threads
1 comment thread