This reverts commit 9ef6cffb. This was an attempt to fix the bot for a commit I reverted since. It isn't necessary anymore.