diff options
-rw-r--r-- | round-robin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/round-robin.sh b/round-robin.sh index a71bcf0c..4ed14483 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -916,7 +916,7 @@ $(cat ${rr[top_artifacts]}/results)" git_init_linaro_local_remote base-artifacts baseline false mkdir -p ${rr[top_artifacts]}/jenkins cat > ${rr[top_artifacts]}/jenkins/git-push.sh <<EOF -git -C base-artifacts push --force baseline HEAD:${rr[baseline_branch]} +git -C base-artifacts push --force baseline HEAD:refs/heads/${rr[baseline_branch]} EOF chmod +x ${rr[top_artifacts]}/jenkins/git-push.sh ) |