lint: 'check-patch-file-names' restricts to shorter file names.
authorLudovic Courtès <ludo@gnu.org>
Fri, 10 Apr 2020 13:58:01 +0000 (15:58 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 10 Apr 2020 14:02:51 +0000 (16:02 +0200)
commit92587f8ed6b5217cf02cfdaf208a78491729da15
tree12533d72798957f706de48e3c7d956b56df41260
parent929510a45daf622213d46bfb97b7c37b8501625c
lint: 'check-patch-file-names' restricts to shorter file names.

* guix/lint.scm (check-patch-file-names): Increase MARGIN.
guix/lint.scm