Ensure gerrit admin's SSH key

Change-Id: Iddef0a5a9eb36a34373fcfa33d1656c879edb169
2 files changed