[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: http://bugs.gnu.org/DDDDD vs "Bug#DDDDD" in logs
From: |
Mike Frysinger |
Subject: |
Re: http://bugs.gnu.org/DDDDD vs "Bug#DDDDD" in logs |
Date: |
Tue, 15 Nov 2011 17:55:29 -0500 |
User-agent: |
KMail/1.13.7 (Linux/3.1.0; KDE/4.6.5; x86_64; ; ) |
On Tuesday 15 November 2011 16:48:38 Jim Meyering wrote:
> I've noticed a few references in recent commit logs like this:
>
> See additional discussion in Bug#9939.
>
> My preference has been to use the slightly more verbose
> http://bugs.gnu.org/DDDDD, on the principle that that will
> be more accessible to most people. I.e., you can probably
> just click on it, or mouse-then-click. While for the "Bug#...."
> form, one would have to know the URL prefix.
>
> Preferences to the contrary?
i think the trade off is to use a git tag like:
URL: http://bugs.gnu.org/DDDDD
or:
X-URL: http://bugs.gnu.org/DDDDD
or:
X-Coreutils-Bug: DDDDD
X-Coreutils-Bug-URL: http://bugs.gnu.org/DDDDD
in my own projects, i tend to use "#DDDDD" in the logs and then supplement
with URL: tags.
-mike
signature.asc
Description: This is a digitally signed message part.