When somebody decides that a label is not relevant for a PR and removes it, the bot should not re-add it when a new commit is pushed. /cc @dnfield