2 ## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
3 ## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
6 ## domain: hostname[::port] options
8 ## buildd.debian.org: raff.debian.org::587 byname
11 allegri.debian.org: allegri.debian.org::2025
12 ancina.debian.org: ancina.debian.org::2025
13 kassia.debian.org: kassia.debian.org::587
14 piatti.debian.org: piatti.debian.org::2025
17 verdi.debian.org: verdi.debian.org::2025
18 volatile.debian.org: verdi.debian.org::2025
19 volatile-master.debian.org: verdi.debian.org::2025