Don't ping the bot; fixes #94