]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
Merge pull request #7058 from google/tags-ci
authorMarc Foley <m.foley.88@gmail.com>
Mon, 4 Dec 2023 17:20:34 +0000 (17:20 +0000)
committerGitHub <noreply@github.com>
Mon, 4 Dec 2023 17:20:34 +0000 (17:20 +0000)
ci: move font-tags check to separate file


Trivial merge