mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-26 03:31:05 +00:00
update: Fetch the refname before checking out the specified sha
Working around freedesktop/freedesktop#95
This commit is contained in:
parent
636abc351b
commit
d1425b0307
1 changed files with 1 additions and 1 deletions
|
@ -27,7 +27,7 @@ def manifest_get_commits(manifest):
|
|||
|
||||
remote = child.attrib.get('remote')
|
||||
if remote:
|
||||
res[path] = ['FETCH_HEAD', [os.path.join(remotes[remote], name), child.attrib['revision']]]
|
||||
res[path] = [child.attrib["revision"], [os.path.join(remotes[remote], name), child.attrib['refname']]]
|
||||
else:
|
||||
res[path] = [child.attrib["revision"], []]
|
||||
|
||||
|
|
Loading…
Reference in a new issue