Skip to content

Use git instead of gitlab api and add a refname to the manifest

This basically cleans up the script making it much simpler and will allow us to git fetch https:///some/remote refname && git checkout sha in git-update allowing us to work around freedesktop/freedesktop#95 (closed) in most cases.

Edited by Thibault Saunier

Merge request reports