Moving contrib and non-free of master.debian.org
Wichert proposes:
> The ballot will contain the options:
>
> 1) create nonfree.debian.org domain
> 2) create official.debian.org domain
> 3) keep the current situation
> 4) further discussion
It would be nice if there was a 1+2 option like
5) create nonfree.debian.org and official.debian.org domains and changing
debian.org to be a short front page explaining the choice.
Best,
Kristoffer
--
Kristoffer Høgsbro Rose, phd, prof.associé <http://www.ens-lyon.fr/~krisrose>
addr. LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, F-69364 Lyon 7
phone +33(0)4 7272 8642, fax +33(0)4 7272 8080 <Kristoffer.Rose@ENS-Lyon.FR>
pgp f-p: A4D3 5BD7 3EC5 7CA2 924E D21D 126B B8E0 <krisrose@{debian,tug}.org>
Reply to: