Make lint check ignore *.patch files, as those can legally have trailing

whitespace or end the file with blank lines.

.github/workflows/lint.yml

@@ -11,6 +11,10 @@ jobs:
       with:
         fetch-depth: 0
 
+    - name: Ignore files
+      shell: bash
+      run: echo "*.patch" >> .gitignore
+
     - name: Whitespace errors
       run: |
         git config core.whitespace blank-at-eol