build_manifest: fetch remote refname before checking out right commit

Working around https://gitlab.freedesktop.org/freedesktop/freedesktop/issues/95

diff --git a/gitlab/build_manifest.py b/gitlab/build_manifest.py
index d9b481f..732ca4a 100755 (executable)
--- a/gitlab/build_manifest.py
+++ b/gitlab/build_manifest.py
@@ -181,8 +181,8 @@ if __name__ == "__main__":
         else:
             remote = "https://gitlab.freedesktop.org/gstreamer/gst-ci"
 
-        git('fetch', remote, sha)
-        git('checkout', '--detach', 'FETCH_HEAD')
+        git('fetch', remote, remote_refname)
+        git('checkout', '--detach', sha)
         sys.exit(0)
 
     projects: str = ''