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': |
