An IRC bot for dev teams