# <master> <service> <source host> <directory> <extra push hosts, comma separated>
bizet.debian.org mozilla.debian.net wagner.debian.org /srv/home/groups/pkg-mozilla/htdocs
# <master> <service> <source host> <directory> <extra push hosts, comma separated>
bizet.debian.org mozilla.debian.net wagner.debian.org /srv/home/groups/pkg-mozilla/htdocs