<div dir="ltr">FWIW we use a bot for commits at Dropbox. Its failure doesn't stop everyone from doing work -- it just prevents a specific commit from going through automatically (this won't stop other commits from going through). You can always manually bypass the bot. So I'm not worried about bots much.<br></div>