+ @[ "$$(hostname -f)" = 'draghi.debian.org' ] || (echo "just git push"; exit 1)
+ @rsync -avHz --delete-before --ignore-errors generated static puppet@handel.debian.org:draghi.debian.org/nagiosconfig
+ @rsync -avHz --delete-before --ignore-errors generated static nagiosadm@tchaikovsky.debian.org:/srv/nagios.debian.org/config-pushed/.
+ @ssh nagiosadm@tchaikovsky.debian.org icinga-reload