| commit | b5bed76844acba35d36019821540e7f2c782bd96 | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Thu May 28 12:28:20 2020 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Thu May 28 12:28:20 2020 +0100 |
| tree | 4673c6450f49657f39e1dea1519ac87749b5081f | |
| parent | f7bb044e6cfef17ae9f38c1fdf76855b780348a4 [diff] |
Use Gerrit choosing strategy. This will hopefully make Jenkins build the change rather than the current master branch. Change-Id: I599afd4906cde881d5e72c547d28428f390dee4d