update: Fetch the refname before checking out the specified sha

Working around freedesktop/freedesktop#95

diff --git a/git-update b/git-update
index b2e4cb122679ec24e10be8646b66fdedb2d03acd..9af245d90b099d18e6ed1a0f4f8d3f9734c983e1 100755 (executable)
--- a/git-update
+++ b/git-update
@@ -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"], []]