From 5856b05f3010136cebcaa9a90058572e008ae3f6 Mon Sep 17 00:00:00 2001 From: Thibault Saunier Date: Thu, 6 Dec 2018 07:23:20 -0300 Subject: [PATCH] build_manifest: fetch remote refname before checking out right commit Working around https://gitlab.freedesktop.org/freedesktop/freedesktop/issues/95 --- gitlab/build_manifest.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gitlab/build_manifest.py b/gitlab/build_manifest.py index d9b481fa87..732ca4ab45 100755 --- 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 = ''