diff --git a/manifest_xml.py b/manifest_xml.py index f2d04df2430cec853b49a9bb55af8b5b233e5c36..bf730caa161afb5689ad92dc3e810dad1d7f43bc 100644 --- a/manifest_xml.py +++ b/manifest_xml.py @@ -31,7 +31,7 @@ else: urllib.parse = urlparse import gitc_utils -from git_config import GitConfig +from git_config import GitConfig, IsId from git_refs import R_HEADS, HEAD import platform_utils from project import RemoteSpec, Project, MetaProject @@ -705,6 +705,10 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md p.groups.extend(groups) if revision: p.revisionExpr = revision + if IsId(revision): + p.revisionId = revision + else: + p.revisionId = None if remote: p.remote = remote.ToRemoteSpec(name) if node.nodeName == 'repo-hooks':