[misc] 02/05: Drop sync-debbindiff-results

[Chris Lamb]

This is an automated email from the git hooks/post-receive script.

lamby pushed a commit to branch master
in repository misc.

commit 6f3027d48de23c8a3c0ae8c7b85201adee5abf43
Author: Chris Lamb <lamby at debian.org>
Date:   Wed Nov 1 21:36:40 2017 +0100

    Drop sync-debbindiff-results
---
 sync-debbindiff-results | 33 ---------------------------------
 1 file changed, 33 deletions(-)

diff --git a/sync-debbindiff-results b/sync-debbindiff-results
deleted file mode 100755
index d3fc55b..0000000
--- a/sync-debbindiff-results
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/sh
-
-# sync-debbindiff-results: sync a copy of our reproducible results
-#
-# Copyright © 2015 Chris Lamb <lamby at debian.org>
-# Licensed under WTFPL — http://www.wtfpl.net/txt/copying/
-
-set -eu
-
-if [ "${#}" != 1 ]
-then
-	echo "usage: ${0} <target-dir>" >&2
-	exit 1
-fi
-
-TARGET="${1}"
-
-if [ ! -d "${TARGET}" ]
-then
-	echo "${0}: target '${TARGET}' does not exist" >&2
-	exit  1
-fi
-
-cd ${TARGET}
-
-exec wget \
-	--mirror \
-	--no-parent \
-	--cut-dirs=1 \
-	-e robots=off \
-	--no-host-directories \
-	--accept "*.debbindiff.html" \
-	https://reproducible.debian.net/dbd/

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/misc.git