Github bots and messages used by the Facebook Github bot.