diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-06-16 14:45:33 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2021-07-07 12:49:58 +0200 |
commit | ac4bd80ba47802d12f2e4428a30fa59532e8b819 (patch) | |
tree | 8fcea0bedc2ba411ef22e0cd776dd0f419a7b956 | |
parent | 79202a0ec6c240dfaf2dc8878c8f01619ba35288 (diff) |
DEBUG: contrib/jenkins.sh: use osmith/gerrit-lintosmith/gerrit-lint
Change-Id: Ifd0a2f1280256297d292a65781f7932f186362c0
-rwxr-xr-x | contrib/jenkins.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index e1564a7..b90f8c4 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -8,7 +8,11 @@ clone_repo() { git rev-parse HEAD git status - git fetch && git checkout -f -B master origin/master + if [ "$1" = "osmo-ci" ]; then + git fetch && git checkout -f -B osmith/gerrit-lint origin/osmith/gerrit-lint + else + git fetch && git checkout -f -B master origin/master + fi git rev-parse HEAD git status |