those PRs are appalling.. bots talking to each other, commenting to run bot commands, bots adding and immediately removing labels. as if the github PR user expe

those PRs are appalling.. bots talking to each other, commenting to run bot commands, bots adding and immediately removing labels. as if the github PR user experience weren't bad enough