diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2022-08-13 13:27:56 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2022-08-13 13:28:04 +0000 |
commit | e951c79c4f71be4859925b04a7c6f01b5dc2ae39 (patch) | |
tree | cdd819902fe08b9a1183bb71347ad7b23cbdd82a | |
parent | 445a9c382a5a87f33ac6b8d105548962c0348385 (diff) |
round-robin.sh (update_baseline): Fix pushing of initial baseline
Git push to non-existent branches fails without refs/heads/ .
Change-Id: Ia3b0876eb827d4ed7dc511413c42f50c0078458e
-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 ) |