diff options
| -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 |