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
10 ancina.debian.org: ancina.debian.org::2025
11 arcadelt.debian.org: arcadelt.debian.org::25
12 argento.debian.org: argento.debian.org::25
13 brahms.debian.org: brahms.debian.org::25
14 goedel.debian.org: goedel.debian.org::25
15 goetz.debian.org: goetz.debian.org::25
16 kassia.debian.org: kassia.debian.org::587
17 lafayette.debian.org: lafayette.debian.org::25
18 lebrun.debian.org: lebrun.debian.org::25
19 malo.debian.org: malo.debian.org::25
20 mayer.debian.org: mayer.debian.org::25
21 murphy.debian.org: murphy.debian.org::25
22 paer.debian.org: paer.debian.org::25
23 piatti.debian.org: piatti.debian.org::2025
24 praetorius.debian.org: praetorius.debian.org::25
25 puccini.debian.org: puccini.debian.org::25
26 rem.debian.org: rem.debian.org::25
27 schroeder.debian.org: schroeder.debian.org::25
28 spontini.debian.org: spontini.debian.org::25