Update gerrit key after migration 67/20767/1
authorJan-Simon Möller <jsmoeller@linuxfoundation.org>
Thu, 21 Mar 2019 17:29:39 +0000 (18:29 +0100)
committerJan-Simon Möller <jsmoeller@linuxfoundation.org>
Thu, 21 Mar 2019 17:29:39 +0000 (18:29 +0100)
commit1e2c4968e704c2aa3e886b445d0401c60f3ca9ca
tree2114172d8a21949d071342959360b0d3cd647e56
parent7c7a70561bf1b47e449b0e482b398a50ffb9e12a
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>
jenkins-scripts/basic_settings.sh