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

Message #13 received at 44591-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: 44591-done <at> debbugs.gnu.org
Subject: Re: [bug#44591] [PATCH 0/1] Add 'patch-headers' lint checker
Date: Sat, 21 Nov 2020 12:42:03 +0100

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

> 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.

Pushed as 4f156c259f984f4f5a3692364746446294ee102c.

Ludo’.
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.