Whenever the state changes, a commit will be pushed which mentions the maintainers on GitHub. This notifies them to update the tool and sync with the Rust compiler repository. In Rust, every PR needs ...