github bot is re-adding labels that have been explicitly removed

[sxa]

I hate that bot ...

Originally posted by @sxa in #3965

We should figure out why the github-actions bot is aggressively retagging things and try to ensure that it does not do that ...