github_labels

import compwa_policy.check_dev_files.github_labels

Check whether the repository (still) contains a labels.toml file.

If it’s still there remove it, because it is now managed through ComPWA/policy.

main() → None