Should we try to stop PRs made by bots?