We should also throw in a `git submodule sync` above this, since we changed the submodule URL