I'm not sure if we've done change tag renames ever before. In theory it's as simple as upnaming a change_tag_def row, although with all the caching going on in includes/changetags/ChangeTags.php I don't think that's safe to do without writing a proper maintenance script for it.

It would be good to have a maintenance script in case this is ever needed again.

See T89217 requesting the ability to change these since 2015. As far as this specific case, the label is already able to be changed - why bother with custom scripting to change this, what is it hurting - since this is abuse filter defined the project can just make a new tag if they really want to.

As formal "awareness" is tracked by this filter, being able to filter a user's talk history for one single relevant tag is beneficial. Splitting the history into two tags would break this functionality. The tag filtering interface requires the actual tag name, not the label, although labels can be chosen from a list.

If this was renamed in the DB manually, then the abuse filter 602 on enwiki would need to be quickly updated to use the new tag name.

Change 880538 had a related patch set uploaded (by Zabe; author: Zabe):

[mediawiki/extensions/WikimediaMaintenance@master] Add script to rename a change tag in wmf prod

https://gerrit.wikimedia.org/r/880538

<s>I guess the order of filter updating and tag updating could be reversed to avoid race conditions. But this is me nitpicking perhaps without understanding what actually happens.</s> Now I see it's a transaction.

Thank you very much for the super-quick patch!

Change 880538 merged by jenkins-bot:

[mediawiki/extensions/WikimediaMaintenance@master] Add script to rename a change tag in wmf prod

https://gerrit.wikimedia.org/r/880538

Change 881030 had a related patch set uploaded (by Zabe; author: Zabe):

[mediawiki/extensions/WikimediaMaintenance@wmf/1.40.0-wmf.18] Add script to rename a change tag in wmf prod

https://gerrit.wikimedia.org/r/881030

Change 881030 merged by jenkins-bot:

[mediawiki/extensions/WikimediaMaintenance@wmf/1.40.0-wmf.18] Add script to rename a change tag in wmf prod

https://gerrit.wikimedia.org/r/881030

Mentioned in SAL (#wikimedia-operations) [2023-01-18T00:18:24Z] <zabe@deploy1002> Started scap: Backport for [[gerrit:881030|Add script to rename a change tag in wmf prod (T327118)]]

Mentioned in SAL (#wikimedia-operations) [2023-01-18T00:20:10Z] <zabe@deploy1002> zabe and zabe: Backport for [[gerrit:881030|Add script to rename a change tag in wmf prod (T327118)]] synced to the testservers: mwdebug2001.codfw.wmnet, mwdebug1001.eqiad.wmnet, mwdebug2002.codfw.wmnet, mwdebug1002.eqiad.wmnet

Mentioned in SAL (#wikimedia-operations) [2023-01-18T00:26:54Z] <zabe@deploy1002> Finished scap: Backport for [[gerrit:881030|Add script to rename a change tag in wmf prod (T327118)]] (duration: 08m 29s)

Mentioned in SAL (#wikimedia-operations) [2023-01-18T00:28:49Z] <zabe> enwiki: rename the "discretionary sanctions alert" tag to "contentious topics alert" # T327118

Nice. Thanks.