Skip to content

gitlab-ci: force local tags update

François Grisez requested to merge fix/gitlab-ci-prune-local-tags into master

(cherry picked from commit e73a5f8e)

Merge request reports