diff options
| -rwxr-xr-x | deploy_everywhere | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index 58e79727..9d009d13 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -37,6 +37,7 @@ if [ ! -d jenkins.debian.net ]; then fi [ -x /usr/bin/git ] || sudo apt-get install -y git sudo -u jenkins-adm git clone https://anonscm.debian.org/git/qa/jenkins.debian.net.git + cd jenkins.debian.net else cd jenkins.debian.net sudo -u jenkins-adm git pull |