diff options
Diffstat (limited to 'manifest_xml.py')
-rw-r--r-- | manifest_xml.py | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 39656975..68ead53c 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -887,13 +887,11 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
887 | if groups: | 887 | if groups: |
888 | p.groups.extend(groups) | 888 | p.groups.extend(groups) |
889 | if revision: | 889 | if revision: |
890 | p.revisionExpr = revision | 890 | p.SetRevision(revision) |
891 | if IsId(revision): | 891 | |
892 | p.revisionId = revision | ||
893 | else: | ||
894 | p.revisionId = None | ||
895 | if remote: | 892 | if remote: |
896 | p.remote = remote.ToRemoteSpec(name) | 893 | p.remote = remote.ToRemoteSpec(name) |
894 | |||
897 | if dest_path: | 895 | if dest_path: |
898 | del self._paths[p.relpath] | 896 | del self._paths[p.relpath] |
899 | relpath, worktree, gitdir, objdir, _ = self.GetProjectPaths(name, dest_path) | 897 | relpath, worktree, gitdir, objdir, _ = self.GetProjectPaths(name, dest_path) |