mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-09-26 01:42:13 +08:00
Always fetch the specific revision given
Don't assume the revision is in refs/heads/. Change-Id: I1f71be222ed3ed940d2265aad43d1f2d601fc03a
This commit is contained in:
committed by
Kevin Degi
parent
909d58b2e2
commit
04e52d6166
@@ -1817,7 +1817,7 @@ class Project(object):
|
||||
elif tag_name is not None:
|
||||
spec.append('tag')
|
||||
spec.append(tag_name)
|
||||
else:
|
||||
|
||||
branch = self.revisionExpr
|
||||
if is_sha1:
|
||||
branch = self.upstream
|
||||
|
Reference in New Issue
Block a user