1 |
>>>>> On Mon, 10 Aug 2015, Chí-Thanh Christopher Nguyễn wrote: |
2 |
|
3 |
> I prefer the |
4 |
|
5 |
> Bugzilla: https://bugs.gentoo.org/show_bug.cgi?id=333531 |
6 |
|
7 |
> format even though not all bug trackers are running Bugzilla. |
8 |
> "Bug: " works fine with me too, |
9 |
|
10 |
There are bug trackers other than bugzilla, for example |
11 |
debbugs.gnu.org. So I think using "Bugzilla:" wouldn't be such a good |
12 |
idea. |
13 |
|
14 |
> and we could make "https://bugs.gentoo.org/show_bug.cgi?id=" |
15 |
> optional for Gentoo bugs, to accommodate for those who insist on not |
16 |
> typing so much. |
17 |
|
18 |
Ulrich |