diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-15 19:18:22 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2021-07-15 19:28:15 +0000 |
commit | 09808a78b4703ac9cd5c097c8efb8d344c7f7306 (patch) | |
tree | 0e21689346ecf55c5d736c46f4b6e3a9de6561d1 /jenkins-helpers.sh | |
parent | e2e53d0a25e84724526712bf9f98534932893820 (diff) |
round-robin-bisect.sh: Use gerrit to push to repos
... so that we can push to refs/heads/master. Gitolite is configured
to accept pushes only under refs/heads/linaro-local/.
Change-Id: I70bf0c0407be488fe1b07caa93474c3221322e76
Diffstat (limited to 'jenkins-helpers.sh')
0 files changed, 0 insertions, 0 deletions