Gentoo Archives: gentoo-dev

From: Ryan Hill <rhill@g.o>
To: gentoo-dev@l.g.o
Subject: [gentoo-dev] Re: Referencing bug reports in git
Date: Thu, 13 Aug 2015 05:45:30
Message-Id: 20150812234813.2f70d090@caribou.gateway.pace.com
In Reply to: Re: [gentoo-dev] Re: Referencing bug reports in git by "Michał Górny"
1 On Wed, 12 Aug 2015 18:03:52 +0200
2 Michał Górny <mgorny@g.o> wrote:
3
4
5 > Can we make it clear whether we are allowed/supposed to use the short
6 > form:
7 >
8 > https://bugs.gentoo.org/333531
9 >
10 > ?
11
12 I'd like this to be the preferred form. It's cleaner, the show_bug.cgi=id? is
13 just noise.
14
15 If we do go with a URI is it possible to do some kind of magic behind the scenes
16 to canonicalize it? By that I mean is that any of these:
17
18 Gentoo-Bug: https://bugs.gentoo.org/333531
19 Gentoo-Bug: https://bugs.gentoo.org/show_bug.cgi?id=333531
20 Gentoo-Bug: 333531
21
22 would automatically be converted to https://bugs.gentoo.org/333531 (or whatever
23 is decided on). That way everyone can use whatever they like best and it'll
24 all come out consistent.
25
26
27 --
28 Ryan Hill psn: dirtyepic_sk
29 gcc-porting/toolchain/wxwidgets @ gentoo.org
30
31 47C3 6D62 4864 0E49 8E9E 7F92 ED38 BD49 957A 8463

Replies

Subject Author
Re: [gentoo-dev] Re: Referencing bug reports in git Ben de Groot <yngwin@g.o>