Post History
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...
#1: Initial revision
## Yes, it has already been decided There was discussion of this previously in [Should [code-golf-tips] be replaced with [tips] + [code-golf]?](https://codegolf.codidact.com/posts/283176) 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.