From 08815ad3eb245872700201e03c47cb504d1dc3f9 Mon Sep 17 00:00:00 2001
From: Gavin Mak <gavinmak@google.com>
Date: Fri, 23 May 2025 10:35:34 -0700
Subject: 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>
---
 git_superproject.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/git_superproject.py b/git_superproject.py
index a557879c..d7d3c1af 100644
--- a/git_superproject.py
+++ b/git_superproject.py
@@ -178,7 +178,8 @@ class Superproject:
             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):
-- 
cgit v1.2.3-54-g00ecf