Bug#883283: marked as done (tracker.d.o should use the new sources.debian.org instead of the old sources.debian.net)

2017-12-01 Thread Debian Bug Tracking System
Your message dated Fri, 1 Dec 2017 23:42:36 +0100 with message-id <20171201224236.gb7...@home.ouaza.com> and subject line Re: Bug#883283: tracker.d.o should use the new sources.debian.org instead of the old sources.debian.net has caused the Debian Bug report #883283, regarding tracker.d.o should u

Bug#883101: tracker.d.o no longer shows RM bugs

2017-12-01 Thread Raphael Hertzog
On Fri, 01 Dec 2017, Pierre-Elliott Bécue wrote: > Based on comments I received on IRC, here are new patches that are a little > better and more atomic. I merged all your patches and I added some changes of mine on top of them. I deployed this on tracker.debian.org Hopefully this bug will be fixe

Bug#883283: tracker.d.o should use the new sources.debian.org instead of the old sources.debian.net

2017-12-01 Thread Adrian Bunk
Package: tracker.debian.org Severity: normal New sources were no longer added at sources.debian.net for some time, and now the SSL certificate of sources.debian.net is also expired. Please do sources.debian.net -> sources.debian.org wherever the "browse source code" link target is set.

Bug#883101: tracker.d.o no longer shows RM bugs

2017-12-01 Thread Pierre-Elliott Bécue
Le jeudi 30 novembre 2017 à 22:39:52+0100, Pierre-Elliott Bécue a écrit : > Control: tags -1 patch > > Here are two patches to solve the bug. They might need some rework, as I'm > not quite sure I did my best here. > > Essentially, the issue was the Python3 transition: the file wnpp_rm is > treat