Bug#756397: Link to the new tracker: new patch

2017-07-19 Thread Paul Wise
On Wed, 2017-07-19 at 15:12 +0200, Muri Nicanor wrote: > Not sure about "Developer Information" though, the tracker gives > information about packages, not about developers, imo The phrase is supposed to indicate information for developers rather than information about developers, AFAICT. -- by

Bug#756397: Link to the new tracker: new patch

2017-07-19 Thread Muri Nicanor
On 07/19/2017 02:54 AM, Paul Wise wrote: > On Wed, Jul 19, 2017 at 6:21 AM, Muri Nicanor wrote: > >> attached a new patch which is based on sylvestre's patch from three >> years ago, but replaces the old links. > > The wording change is a bit suboptimal, I would suggest sticking with > "Develop

Bug#756397: Link to the new tracker: new patch

2017-07-18 Thread Paul Wise
On Wed, Jul 19, 2017 at 6:21 AM, Muri Nicanor wrote: > attached a new patch which is based on sylvestre's patch from three > years ago, but replaces the old links. The wording change is a bit suboptimal, I would suggest sticking with "Developer Information". If pts_url is no longer used, it shou

Bug#756397: Link to the new tracker: new patch

2017-07-18 Thread Muri Nicanor
hi, i also think a link to the new package tracker should replace the link to the old pts; especially since the old pts suggests to look at the new tracker in big red letters ;) attached a new patch which is based on sylvestre's patch from three years ago, but replaces the old links. cheers, muri