Update externals.
Switch to simple pushes everywhere; it's safe now.