diff options
-rw-r--r-- | jenkins-helpers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 1915f66c..62cc9e0a 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -554,7 +554,7 @@ print_baseline_repo () set -euf -o pipefail local dir="$1" - local read_only="$3" + local read_only="$2" local repo case "$dir" in |