]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
Merge pull request #9145 from google/ci-permissions
authorSimon Cozens <simon@simon-cozens.org>
Wed, 5 Mar 2025 08:40:14 +0000 (08:40 +0000)
committerGitHub <noreply@github.com>
Wed, 5 Mar 2025 08:40:14 +0000 (08:40 +0000)
Allow CI to write to PRs


Trivial merge