Merge pull request #2770 from lucab/ups/git-describe-tags
authorColin Walters <walters@verbum.org>
Mon, 21 Nov 2022 16:33:10 +0000 (11:33 -0500)
committerGitHub <noreply@github.com>
Mon, 21 Nov 2022 16:33:10 +0000 (11:33 -0500)
ci: adjust git tags filtering


Trivial merge