From 4af7963e930323a8584594e553ee8c52add57b70 Mon Sep 17 00:00:00 2001
From: Hans Kristian Rosbach <hk-git@circlestorm.org>
Date: Wed, 15 May 2024 13:38:26 +0200
Subject: [PATCH] Make lint check ignore *.patch files, as those can legally
 have trailing whitespace or end the file with blank lines.

---
 .github/workflows/lint.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index afea46a1..ecfd6471 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -14,4 +14,4 @@ jobs:
     - name: Whitespace errors
       run: |
         git config core.whitespace blank-at-eol
-        git diff --color --check ${{ github.event.pull_request.base.sha }}
+        git diff --color --check ${{ github.event.pull_request.base.sha }} -- './*' ':!*.patch'
-- 
2.47.2