]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
.ci/run.py: add MODIFIED_FONTS token if fonts deleted from family 6324/head
authorMarc Foley <m.foley.88@gmail.com>
Tue, 30 May 2023 16:03:33 +0000 (17:03 +0100)
committerMarc Foley <m.foley.88@gmail.com>
Tue, 30 May 2023 16:03:33 +0000 (17:03 +0100)
.ci/run.py

index fedc54d8479d22b7cb33322d4e1ee4a45754921d..f7abebe88c9eea95cf1219214cd0744d2b7ee8d2 100644 (file)
@@ -63,7 +63,7 @@ def directory_check_types(branch="origin/main"):
         if path.endswith((".ttf", ".otf")) and state == "A":
             dir_tokens.add(CheckToken.NEW_FONT)
 
-        if path.endswith((".ttf", ".otf")) and state == "M":
+        if path.endswith((".ttf", ".otf")) and (state == "M" or state == "D"):
             dir_tokens.add(CheckToken.MODIFIED_FONTS)
 
         if path.endswith((".txt", ".pb", ".html")) and state == "M":