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
12 when 'spohr.debian.org', 'draghi.debian.org' then '
13 agnesi.debian.org: agnesi.debian.org::25
14 agricola.debian.org: agricola.debian.org::25
15 albeniz.debian.org: albeniz.debian.org::25
16 ancina.debian.org: ancina.debian.org::2025
17 arcadelt.debian.org: arcadelt.debian.org::25
18 argento.debian.org: argento.debian.org::25
19 brahms.debian.org: brahms.debian.org::25
20 crest.debian.org: crest.debian.org::25
21 goedel.debian.org: goedel.debian.org::25
22 goetz.debian.org: goetz.debian.org::25
23 kassia.debian.org: kassia.debian.org::587
24 lafayette.debian.org: lafayette.debian.org::25
25 lebrun.debian.org: lebrun.debian.org::25
26 leisner.debian.org: leisner.debian.org::25
27 mahler.debian.org: mahler.debian.org::25
28 malo.debian.org: malo.debian.org::25
29 mayer.debian.org: mayer.debian.org::25
30 merulo.debian.org: merulo.debian.org::25
31 morales.debian.org: morales.debian.org::25
32 murphy.debian.org: murphy.debian.org::25
33 paer.debian.org: paer.debian.org::25
34 pergolesi.debian.org: pergolesi.debian.org::25
35 pescetti.debian.org: pescetti.debian.org::25
36 piatti.debian.org: piatti.debian.org::2025
37 praetorius.debian.org: praetorius.debian.org::25
38 puccini.debian.org: puccini.debian.org::25
39 rem.debian.org: rem.debian.org::25
40 schroeder.debian.org: schroeder.debian.org::25
41 smetana.debian.org: smetana.debian.org::25
42 sperger.debian.org: sperger.debian.org::25
43 spontini.debian.org: spontini.debian.org::25
44 zee.debian.org: zee.debian.org::25
45 zelenka.debian.org: zelenka.debian.org::25
47 when 'luchesi.debian.org' then '
48 finzi.debian.org: [172.17.12.2]::25
49 fano.debian.org: [172.17.12.3]::25