From 7f5f0a1c8e3c5c912cca1443606b86007e99e765 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Wed, 3 Aug 2016 16:14:48 +0200 Subject: rm the clone in my repo --- deploy_everywhere | 3 +++ 1 file changed, 3 insertions(+) (limited to 'deploy_everywhere') diff --git a/deploy_everywhere b/deploy_everywhere index 4030cd86..c089b43f 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -38,6 +38,9 @@ set -e export LANG=C cd ~jenkins-adm if [ ! -d jenkins.debian.net ]; then + if [ -d ~holger/jenkins.debian.net ] ; then + rm ~holger/jenkins.debian.net -rf + fi sudo -u jenkins-adm git clone https://anonscm.debian.org/git/qa/jenkins.debian.net.git else cd jenkins.debian.net -- cgit v1.2.3-54-g00ecf