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 bartok.debian.org: bartok.debian.org::25
20 brahms.debian.org: brahms.debian.org::25
21 caballero.debian.org: caballero.debian.org::25
22 crest.debian.org: crest.debian.org::25
23 dijkstra.debian.org: dijkstra.debian.org::25
24 escher.debian.org: escher.debian.org::25
25 fano.debian.org: fano.debian.org::25
26 finzi.debian.org: finzi.debian.org::25
27 geo1.debian.org: geo1.debian.org::25
28 geo2.debian.org: geo2.debian.org::25
29 geo3.debian.org: geo3.debian.org::25
30 gluck.debian.org: gluck.debian.org::25
31 goedel.debian.org: goedel.debian.org::25
32 goetz.debian.org: goetz.debian.org::25
33 handel.debian.org: handel.debian.org::25
34 kassia.debian.org: kassia.debian.org::587
35 lafayette.debian.org: lafayette.debian.org::25
36 lebrun.debian.org: lebrun.debian.org::25
37 leisner.debian.org: leisner.debian.org::25
38 lobos.debian.org: lobos.debian.org::25
39 luchesi.debian.org: luchesi.debian.org::25
40 mahler.debian.org: mahler.debian.org::25
41 malo.debian.org: malo.debian.org::25
42 mayer.debian.org: mayer.debian.org::25
43 mayr.debian.org: mayr.debian.org::25
44 merulo.debian.org: merulo.debian.org::25
45 morales.debian.org: morales.debian.org::25
46 mundy.debian.org: mundy.debian.org::25
47 murphy.debian.org: murphy.debian.org::25
48 paer.debian.org: paer.debian.org::25
49 penalosa.debian.org: penalosa.debian.org::25
50 pergolesi.debian.org: pergolesi.debian.org::25
51 peri.debian.org: peri.debian.org::25
52 pescetti.debian.org: pescetti.debian.org::25
53 piatti.debian.org: piatti.debian.org::2025
54 praetorius.debian.org: praetorius.debian.org::25
55 puccini.debian.org: puccini.debian.org::25
56 rem.debian.org: rem.debian.org::25
57 rore.debian.org: rore.debian.org::25
58 saens.debian.org: saens.debian.org::25
59 schein.debian.org: schein.debian.org::25
60 schroeder.debian.org: schroeder.debian.org::25
61 schumann.debian.org: schumann.debian.org::25
62 senfl.debian.org: senfl.debian.org::25
63 smetana.debian.org: smetana.debian.org::25
64 soler.debian.org: soler.debian.org::25
65 sperger.debian.org: sperger.debian.org::25
66 spontini.debian.org: spontini.debian.org::25
67 steffani.debian.org: steffani.debian.org::25
68 unger.debian.org: unger.debian.org::25
69 villa.debian.org: villa.debian.org::25
70 voltaire.debian.org: voltaire.debian.org::25
71 wieck.debian.org: wieck.debian.org::25
72 zee.debian.org: zee.debian.org::25
73 zelenka.debian.org: zelenka.debian.org::25