Re: packages.d.o: correct debian-policy links

2020-10-13 Thread Holger Wansing
Hi, Holger Wansing wrote: > Hi, > > attached is a patch to correct some broken debian-policy links on packages.d.o > > I will apply it shortly. Now pushed. > But I wonder if there is some special action needed, to get the site newly > built with such changings? What triggers the site build?

Re: Tags: on package page link points at nonexistent server

2020-10-13 Thread Holger Wansing
Hi, Holger Wansing wrote: > Hi, > > наб wrote: > > All the links in the list (System Boot, C) point at packages.debian.org > > and work, but the link on Tags points at > > https://debtags.alioth.debian.org/edit.html?pkg=grub-pc > > which doesn't even resolve. > > A patch is attached to