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
9 # # snapshot postgresql streaming replication. sibelius is the master, danzi the slave.
10 # - source_bind_port: 15433
11 # target_host: sibelius.debian.org
13 # ssh_options: -oAddressFamily=inet
16 - source_bind_port: 15433
19 ssh_options: -oAddressFamily=inet
21 cgi-grnet-01.debian.org:
22 - source_bind_port: 7010
23 target_host: wolkenstein.debian.org