<dbaron> so do we no longer have a bot that announces commits in this channel? <ehsan> apparently not! <mbrubeck> firebot usually does, but seems to be on PTO today or something.