>>>>> On Mon, 10 Aug 2015, Chí-Thanh Christopher Nguyễn wrote:

> I prefer the

> Bugzilla: https://bugs.gentoo.org/show_bug.cgi?id=333531

> format even though not all bug trackers are running Bugzilla.
> "Bug: " works fine with me too,

There are bug trackers other than bugzilla, for example
debbugs.gnu.org. So I think using "Bugzilla:" wouldn't be such a good
idea.

> and we could make "https://bugs.gentoo.org/show_bug.cgi?id=";
> optional for Gentoo bugs, to accommodate for those who insist on not
> typing so much.

Ulrich

Attachment: pgpoJhawBxg7E.pgp
Description: PGP signature

Reply via email to