Skip to content

Gitlab-ci: force the update of the local tags

François Grisez requested to merge fix/force_update_local_tags into master

(cherry picked from commit 5fccee55)

Merge request reports