Re: [Box-Admins] Upgrading jenkins; any counterpoints?