Fix Debian primary mirror we use

Previously, we got bounced to one of four mirrors which were
different and that resulted in unpredictable behavior.

diff --git a/fetch-scripts/debian b/fetch-scripts/debian
index 7c77ad638e095acd7b6befcfd74c902799497f75..e29339394af37734380799c1a0de77c1e96e4cd3 100644 (file)
--- a/fetch-scripts/debian
+++ b/fetch-scripts/debian
@@ -7,7 +7,7 @@ set -u
 
 #MIRRORDIR=/ifs/mirror
 BASEDIR=${MIRRORDIR}/debian
-RSYNCSOURCE=rsync://ftp.us.debian.org/debian
+RSYNCSOURCE=rsync://debian.gtisc.gatech.edu/debian
 
 RSYNC_OPTS="--recursive --links --hard-links --times --sparse --hard-links --block-size=8192 --timeout 3600 --perms"
 #OTHER_OPTS="--verbose --stats --dry-run"