GNU bug report logs - #44591
[PATCH 0/1] Add 'patch-headers' lint checker

Previous Next

Package: guix-patches;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Thu, 12 Nov 2020 12:01:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: 44591 <at> debbugs.gnu.org
Cc: Ludovic Courtès <ludo <at> gnu.org>
Subject: [bug#44591] [PATCH 0/1] Add 'patch-headers' lint checker
Date: Thu, 12 Nov 2020 13:00:17 +0100

Hi!

There’s the unwritten (?) guideline that patches should start with a
short comment indicating what they do, where they come from, and what
their upstream status is.

The ‘patch-headers’ checker that this patch adds check for the
presence of a comment at the start of each referenced patch.  It
currently reports 59 issues.

WDYT?

Ludo’.

Ludovic Courtès (1):
  lint: Add 'patch-headers' checker.

 guix/lint.scm  | 55 +++++++++++++++++++++++++++++++++++++++++++++++++
 tests/lint.scm | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 111 insertions(+)

-- 
2.29.2
This bug report was last modified 4 years and 261 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.