Update manifest_name with the returned manifest name for superproject.

This is similar to smart sync, allowing sync to benefit from the patched
manifest.

Bug: [google internal] b/190688390
Change-Id: I158a80afceca606dcd81ec76b2caede369f7ed03
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/312142
Reviewed-by: Raman Tenneti <rtenneti@google.com>
Tested-by: Xin Li <delphij@google.com>
diff --git a/subcmds/sync.py b/subcmds/sync.py
index e6dbf1c..a770c25 100644
--- a/subcmds/sync.py
+++ b/subcmds/sync.py
@@ -959,9 +959,7 @@
 
     load_local_manifests = not self.manifest.HasLocalManifests
     if git_superproject.UseSuperproject(opt, self.manifest):
-      new_manifest_name = self._UpdateProjectsRevisionId(opt, args, load_local_manifests)
-      if not new_manifest_name:
-        manifest_name = opt.manifest_name
+      manifest_name = self._UpdateProjectsRevisionId(opt, args, load_local_manifests) or opt.manifest_name
 
     if self.gitc_manifest:
       gitc_manifest_projects = self.GetProjects(args,