I think that's precisely the point. The bot would usher them to gerrit, with some pointers on how to interface with their systems. And it'd then close the pul

I think that's precisely the point. The bot would usher them to gerrit, with some pointers on how to interface with their systems. And it'd then close the pull request. Since PRs can't be disabled on GitHub, it seems inevitable that they'll be getting them submitted.