summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xround-robin-bisect.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/round-robin-bisect.sh b/round-robin-bisect.sh
index 839835fe..6f600f5a 100755
--- a/round-robin-bisect.sh
+++ b/round-robin-bisect.sh
@@ -346,8 +346,10 @@ ${configs[*]}" &
local res=0 && wait $! || res=$?
if [ x"$res" = x"0" ]; then
- git -C $interesting_commits review -s
- git -C $interesting_commits push gerrit HEAD:refs/heads/linaro-local/ci/${rr[ci_project]}
+ # Interesting-commits.git do not have .gitreview, so it's
+ # simpler to push via gitolite.
+ git_init_linaro_local_remote $interesting_commits baseline false
+ git_push $interesting_commits baseline linaro-local/ci/${rr[ci_project]}
fi
) &
wait $! || push_interesting_commit_result=$?