GNU bug report logs - #65883
[PATCH] .dir-locals.el: Update bug-reference configuration and document it.

Previous Next

Full log

Message #31 received at 65883 <at> debbugs.gnu.org (full text, mbox):

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Cc: 65883 <at> debbugs.gnu.org, ludo <at> gnu.org
Subject: Re: [bug#65883] [PATCH] .dir-locals.el: Update bug-reference
 configuration and document it.
Date: Wed, 20 Sep 2023 17:39:14 +0200

Hi Maxim,

On Wed, 20 Sept 2023 at 17:28, Maxim Cournoyer
<maxim.cournoyer <at> gmail.com> wrote:

> Thanks for pointing these other possibilities.  Unless they are
> prominently documented though, I'd maybe opt to leave them out, as their
> format simply uses more characters for no added value.

What I have noticed is the way Mumi resolves from Message-ID to Debbugs-ID:

https://issues.guix.gnu.org/msgid/63a33d011b9154bbb4de7ad1d183043220fec49a.1691432343.git.h.goebel <at> crazy-compilers.com
    ->
https://issues.guix.gnu.org/issue/65131#msgid-4f7b841a5c1ab6ea0ee22d3bbd2bedab2ed435fa

And this case could be handled, no?

Cheers,
simon

Previous Next

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