mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-03-28 11:55:39 +00:00
build_manifest: fetch remote refname before checking out right commit
Working around https://gitlab.freedesktop.org/freedesktop/freedesktop/issues/95
This commit is contained in:
parent
4717e446a9
commit
5856b05f30
1 changed files with 2 additions and 2 deletions
|
@ -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 = ''
|
||||
|
|
Loading…
Reference in a new issue