Ignore all 'manage_externals' files in Github Action pylint routine.

ESCOMP · Oct 9, 2023 · b63c56e · b63c56e
1 parent 39839f8
commit b63c56e
Showing 1 changed file with 9 additions and 4 deletions.
diff --git a/.github/scripts/pr_mod_file_tests.py b/.github/scripts/pr_mod_file_tests.py
@@ -197,10 +197,15 @@ def _main_prog():
         #PR itself, so don't check its file type:
         if os.path.exists(file_obj.filename):
 
-            #Check if it is a python file:
-            if _file_is_python(file_obj.filename):
-                #If so, then add to python list:
-                pyfiles.append(file_obj.filename)
+            #Don't analyze 'manage_externals' files,
+            #as they are an external repo and thus
+            #not our responsibility:
+            if not 'manage_externals' in file_obj.filename:
+
+                #Check if it is a python file:
+                if _file_is_python(file_obj.filename):
+                    #If so, then add to python list:
+                    pyfiles.append(file_obj.filename)
 
     #++++++++++++++++++++++++++++++++++++++++++++
     #Check if any python files are being modified: