# Definition of mirror hosts we push.
# One mirror per line, with the following fields defined.
#
# Type ShortName HostName User SSHProtocol SSHKeyFile
#
# Type is either all or staged, meaning:
# all    - do a "normal" push. Trigger them, go on.
# staged - do a two-stage push, waiting for them after stage 2(and all others that
#          are staged) before doing stage2
#
# ShortName will be used as a shorthand in logfile outputs and for the logfile
# where every ssh output gets redirected to.
#
# If no SSHKeyFile is given, the default from the config file applies.
# If SSHProtocol is empty, it will default to 2, but if you want to
#                define a keyfile you HAVE TO set protocol too!
#
# Examples:
# all eu.puccini puccini.debian.org archvsync 2 ~/.ssh/push_puccini
#
# will push puccini.debian.org, user archvsync, using ssh protocol 2 and the specified ssh key.
#
# staged eu.puccini puccini.debian.org
# staged eu.powell powell.debian.org
#
# will push both puccini and powell in stage1, waiting for both to
# finish stage1 before stage2 gets pushed.
#
# One special value is allowed: DELAY
# This word has to be on a line itself, followed by a space and a number.
# nothing else, not even whitespace. It will trigger a pause of $number
# seconds between the two mirrors. If no number is given it defaults to
# 60 seconds.