diff options
author | 2019-03-21 18:29:39 +0100 | |
---|---|---|
committer | 2019-03-21 18:29:39 +0100 | |
commit | 1e2c4968e704c2aa3e886b445d0401c60f3ca9ca (patch) | |
tree | 2114172d8a21949d071342959360b0d3cd647e56 /jjb/pre-fetch | |
parent | 7c7a70561bf1b47e449b0e482b398a50ffb9e12a (diff) |
Update gerrit key after migration
The migrated gerrit has new host identification. Adapt the dynamic slaves.
Change-Id: I0eaf421eb1df0d789a3bfd96ede2803b1eb4df2a
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>
Diffstat (limited to 'jjb/pre-fetch')
0 files changed, 0 insertions, 0 deletions