Re: http://bugs.gnu.org/DDDDD vs "Bug#DDDDD" in logs

[Mike Frysinger]

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.