Since we migrated all our builders/testers to the GitHub self-hosted runners, we no longer need scripts to operate our own bots.