Do not ping the infrastructure team on toolstate changes#69336

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

Mark-Simulacrum:no-infra-toolstateMark-Simulacrum/rust:no-infra-toolstateCopy head branch name to clipboard