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 - source_bind_port: 5441
10 target_host: samosa.debian.org
14 - source_bind_port: 5441
15 target_host: samosa.debian.org
19 - source_bind_port: 5433
20 target_host: grieg.debian.org
24 - source_bind_port: 5441
25 target_host: samosa.debian.org
30 - source_bind_port: 5433
31 target_host: merkel.debian.org
34 - source_bind_port: 5441
35 target_host: samosa.debian.org