03/12: lint: check-patch-headers: Recognize Git diffs.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit c5b1b48f09bb9af60aef5d48191b284d4b281a34
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Jun 18 12:02:12 2021 +0200

    lint: check-patch-headers: Recognize Git diffs.
    
    * guix/lint.scm (check-patch-headers): Add "diff --git " prefix.
---
 guix/lint.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/guix/lint.scm b/guix/lint.scm
index 8115f2a..d65d5ce 100644
--- a/guix/lint.scm
+++ b/guix/lint.scm
@@ -801,7 +801,8 @@ warnings."
                   ((blank? line)
                    (loop))
                   ((or (string-prefix? "--- " line)
-                       (string-prefix? "+++ " line))
+                       (string-prefix? "+++ " line)
+                       (string-prefix? "diff --git " line))
                    (list (make-warning package
                                        (G_ "~a: patch lacks comment and \
 upstream status")