mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-11-07 07:26:13 -05:00
lint: check-patch-headers: Recognize Git diffs.
* guix/lint.scm (check-patch-headers): Add "diff --git " prefix.
This commit is contained in:
parent
003728cfab
commit
c5b1b48f09
1 changed files with 2 additions and 1 deletions
|
@ -801,7 +801,8 @@ (define (patch-header-warnings patch)
|
|||
((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")
|
||||
|
|
Loading…
Reference in a new issue