3 # TODO: if we ever want to forward more than one port between two hosts then
4 # we will have to come up with a wrapper script that picks the right target
5 # port on the remote instead of just encoding it in authkeys.
7 # from host:port to host:port
11 - source_bind_port: 5433
12 target_host: ries.debian.org
17 - source_bind_port: 5433
18 target_host: ries.debian.org
22 # snapshot postgresql streaming replication. sibelius is the master, danzi the slave.
23 - source_bind_port: 15433
24 target_host: sibelius.debian.org
26 ssh_options: -oAddressFamily=inet
29 - source_bind_port: 5443
30 target_host: grieg.debian.org
34 # dak postgresql streaming replication. franck is the master, ries the slave.
35 - source_bind_port: 15433
36 target_host: franck.debian.org
40 # emdebian->projectb mirror
41 - source_bind_port: 5433
42 target_host: ries.debian.org