Tools/git-repo
1
0
Fork 0
Code Activity

upload: Add rev to rootRepo push option

Browse source 
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>
This commit is contained in:
Gavin Mak 2025-05-23 10:35:34 -07:00
parent 3c8bae27ec
commit 08815ad3eb
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
git_superproject.py
View file

@ -178,7 +178,8 @@ class Superproject:
if netloc := parsed_url.netloc: if netloc := parsed_url.netloc:
parts = netloc.split("-review", 1) parts = netloc.split("-review", 1)
host = parts[0] host = parts[0]
return f"{host}/{self.name}" rev = GitRefs(self._work_git).get("HEAD")
return f"{host}/{self.name}@{rev}"
return None return None
def _LogMessage(self, fmt, *inputs): def _LogMessage(self, fmt, *inputs):