From: Marc Foley Date: Tue, 30 May 2023 16:03:33 +0000 (+0100) Subject: .ci/run.py: add MODIFIED_FONTS token if fonts deleted from family X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6324%2Fhead;p=thirdparty%2Fgoogle%2Ffonts.git .ci/run.py: add MODIFIED_FONTS token if fonts deleted from family --- diff --git a/.ci/run.py b/.ci/run.py index fedc54d847..f7abebe88c 100644 --- a/.ci/run.py +++ b/.ci/run.py @@ -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":