Hello I don't have any objection to this. AFAIK the name of the repo is not relevant for packaging.
IMHO should be good to move debian-reference document (and many others...) to ddp-team. Marcos On 13/05/18 11:14, Holger Wansing wrote: > Hi, > > Marcos Fouces <marcos.fou...@gmail.com> wrote: >> Hi >> >> I uploaded all repositories but harden-doc because Javier already >> uploaded it at securing-debian-howto. I hope that all migrations were >> properly done! > Shouldn't this be changed from "securing-debian-howto" to > "securing-debian-manual", as it is referred to on d.o./doc/ ? > (at d.o./doc there is an explicit section "howto", but this document is > not listed there, but under "manuals"). > > > Additionally, shouldn't the Debian Reference be moved from "Debian" group > to ddp group? (Osamu in CC) > > > Holger > >