This breaks the API. Also, fix the checks that had duplicate names.
This also removes the .github/workflows/update-required-checks.yml workflow. This script needs to be run locally by someone who has admin privileges on the repo.