2 # <service> <source host> <directory> <extra push hosts, comma separated>
4 mozilla.debian.net wagner.debian.org /srv/home/groups/pkg-mozilla/htdocs
5 planet.debian.org senfl.debian.org /srv/planet.debian.org/www
6 www.debian.org wolkenstein.debian.org /srv/www.debian.org/www
7 bits.debian.org master.debian.org /srv/bits-master.debian.org/htdocs
8 backports.debian.org ries.debian.org /srv/backports.debian.org/htdocs franck.debian.org