After an exemption is added to a PR, the submitter needs to repush in order to rerun Tailor, which is inconvenient.