| commit | 08815ad3eb245872700201e03c47cb504d1dc3f9 | [log] [tgz] |
|---|---|---|
| author | Gavin Mak <gavinmak@google.com> | Fri May 23 10:35:34 2025 -0700 |
| committer | Gavin Mak <gavinmak@google.com> | Wed May 28 11:44:55 2025 -0700 |
| tree | c9c29e0ef2002ab4afebd6f950f8563bf6e2d853 | |
| parent | 3c8bae27ecb8a8d95f814430e8985924f770d63b [diff] |
upload: Add rev to rootRepo push option Bug: b/401147338 Change-Id: Iac19af5aadd250538702920d9beaeef9250c78fe Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/478801 Tested-by: Gavin Mak <gavinmak@google.com> Reviewed-by: Scott Lee <ddoman@google.com>
diff --git a/git_superproject.py b/git_superproject.py index a557879..d7d3c1a 100644 --- a/git_superproject.py +++ b/git_superproject.py
@@ -178,7 +178,8 @@ if netloc := parsed_url.netloc: parts = netloc.split("-review", 1) host = parts[0] - return f"{host}/{self.name}" + rev = GitRefs(self._work_git).get("HEAD") + return f"{host}/{self.name}@{rev}" return None def _LogMessage(self, fmt, *inputs):