Unverified Commit 7d1f8498 authored by Mattia Rizzolo's avatar Mattia Rizzolo
Browse files

revert accidentally committed hunk

parent b4652d1c
Loading
Loading
Loading
Loading
+0 −1
Original line number Diff line number Diff line
@@ -131,7 +131,6 @@ elif [ "$1" = "" ] ; then
	echo -n "Running j.d.n.git updates on ${HOSTS[@]} now"
elif [ "$1" = "jenkins" ] ; then
	HOSTS=(root@jenkins.debian.net)
	HOSTS=()
	shift
	for i in "$@" ; do
		case "$i" in