[firedrake] Automatic developer upgrades - risk of failure.