--- /dev/null
+##
+## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
+## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
+##
+## Format:
+## domain: hostname[::port] options
+## example:
+## buildd.debian.org: raff.debian.org::587 byname
+
+finzi.debian.org: [172.17.12.1]::25