diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-08-03 14:32:40 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-08-03 16:33:48 +0200 |
| commit | f4d56a4b83ef1b75c78c7eca176e1ea7e7ad3aff (patch) | |
| tree | 0a476520e16b2817eefbdea624edb8a823463b69 /deploy_everywhere | |
| parent | 93d45fcd4c9c9b16e5a3a694ce61cf5a8fe774c4 (diff) | |
| download | jenkins.debian.net-f4d56a4b83ef1b75c78c7eca176e1ea7e7ad3aff.tar.xz | |
deploy_everywhere: cd to the just cloned repository once done
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'deploy_everywhere')
| -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 |