|
From: | Dmitry Gutov |
Subject: | bug#20325: convert "fixes:debbugs:123" in log to (Bug#123) in ChangeLog |
Date: | Fri, 17 Apr 2015 19:30:11 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:36.0) Gecko/20100101 Thunderbird/36.0 |
On 04/17/2015 07:20 PM, Jan D. wrote:
What about a few years from now when we switch to something other than debbugs?
That's exactly the situation where having used debbugs:1234 until that point will show its benefits.
> Why hardcode a specific bug reporting tool as the recommendation?Will all bugs be migrated to the new bug reporting tool? Will they keep their identifiers?
Unless you're 100% sure about that, explicitly documenting which bug tracker the bugs are reported in is a useful information.
[Prev in Thread] | Current Thread | [Next in Thread] |