3 # This script signals merkel.debian.org to mirror debbugs at most once
10 cd /org/bugs.debian.org
12 [ $(( $(date +%s) - $(stat -c %Y /org/bugs.debian.org/log/mirrors.log) )) -gt 800 ] || exit 0;
14 exec >>log/mirrors.log 2>&1
18 echo Signalling $1: $2@$1 > log/$1.log
19 key="$HOME/.ssh/bts-mirror"
20 ssh -i "$key" -o"user $2" "$1" sleep 1 &