Looks like both logbot and zulip-mirror-bot had been removed from the channel (or not added)... I've invited them back in... Would be nice if the log for #tools-build could be reimported to at some point.