From d1c6dd629f931789db17daa1d999e5de975ddd6a Mon Sep 17 00:00:00 2001 From: Jesse Nusbaumer Date: Tue, 9 Jul 2024 22:54:40 -0600 Subject: [PATCH] Ignore git-fleximod files when linting. --- .github/scripts/pr_mod_file_tests.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/scripts/pr_mod_file_tests.py b/.github/scripts/pr_mod_file_tests.py index 416c86f5..af8bb338 100755 --- a/.github/scripts/pr_mod_file_tests.py +++ b/.github/scripts/pr_mod_file_tests.py @@ -197,10 +197,10 @@ def _main_prog(): #PR itself, so don't check its file type: if os.path.exists(file_obj.filename): - #Don't analyze 'manage_externals' files, + #Don't analyze 'git-fleximod' files, #as they are an external repo and thus #not our responsibility: - if 'manage_externals' not in file_obj.filename: + if 'git-fleximod' not in file_obj.filename: #Check if it is a python file: if _file_is_python(file_obj.filename):