# <master> <service> <source host> <directory> <extra push hosts, comma separated>
bizet.debian.org bits.debian.org master.debian.org /srv/bits-master.debian.org/htdocs
+bizet.debian.org lintian.debian.org lilburn.debian.org /srv/lintian.debian.org/www
bizet.debian.org network-test.debian.org master.debian.org /srv/network-test.debian.org/htdocs
bizet.debian.org news.debian.net ravel.debian.org /srv/news.debian.net/htdocs
bizet.debian.org planet.debian.org philp.debian.org /srv/planet.debian.org/www