use "central" snapshot-cache, if available
@@ -20,4 +20,10 @@ timestamp="${1:-}"; shift || eusage 'missing timestamp'
archive="${1:-debian}"
t="$(date --date "$timestamp" '+%Y%m%dT%H%M%SZ')"
+# use caching proxy to avoid throttling, if available
+
+if curl -s --fail http://snapshot-cache.ci.gardener.cloud/archive/debian/ -o/dev/null; then
+ echo "http://snapshot-cache.ci.gardener.cloud/archive/$archive/$t"
+else
echo "http://snapshot.debian.org/archive/$archive/$t"
+fi
