diff options
-rw-r--r-- | manifest_xml.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index f2d04df2..bf730caa 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
@@ -31,7 +31,7 @@ else: | |||
31 | urllib.parse = urlparse | 31 | urllib.parse = urlparse |
32 | 32 | ||
33 | import gitc_utils | 33 | import gitc_utils |
34 | from git_config import GitConfig | 34 | from git_config import GitConfig, IsId |
35 | from git_refs import R_HEADS, HEAD | 35 | from git_refs import R_HEADS, HEAD |
36 | import platform_utils | 36 | import platform_utils |
37 | from project import RemoteSpec, Project, MetaProject | 37 | from project import RemoteSpec, Project, MetaProject |
@@ -705,6 +705,10 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
705 | p.groups.extend(groups) | 705 | p.groups.extend(groups) |
706 | if revision: | 706 | if revision: |
707 | p.revisionExpr = revision | 707 | p.revisionExpr = revision |
708 | if IsId(revision): | ||
709 | p.revisionId = revision | ||
710 | else: | ||
711 | p.revisionId = None | ||
708 | if remote: | 712 | if remote: |
709 | p.remote = remote.ToRemoteSpec(name) | 713 | p.remote = remote.ToRemoteSpec(name) |
710 | if node.nodeName == 'repo-hooks': | 714 | if node.nodeName == 'repo-hooks': |