Loading deploy_jdn +1 −0 Original line number Diff line number Diff line Loading @@ -131,6 +131,7 @@ 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 Loading jenkins-home/offline_nodes +2 −0 Original line number Diff line number Diff line Loading @@ -17,6 +17,8 @@ # Also see https://pad.sfconservancy.org/p/rb-build-nodes-keep # unreachable, mailed codethink. codethink-sled12-arm64.debian.net ## temporary problems Loading Loading
deploy_jdn +1 −0 Original line number Diff line number Diff line Loading @@ -131,6 +131,7 @@ 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 Loading
jenkins-home/offline_nodes +2 −0 Original line number Diff line number Diff line Loading @@ -17,6 +17,8 @@ # Also see https://pad.sfconservancy.org/p/rb-build-nodes-keep # unreachable, mailed codethink. codethink-sled12-arm64.debian.net ## temporary problems Loading