Merge branch 'stable-3.0' into stable-3.1 * stable-3.0: Prepare for new gerrit_api snapshot version usage Upgrade bazlets to latest stable-3.0 Upgrade bazlets to latest stable-3.0 Change-Id: I12ff82348a79a2b613ca555adcd4833fa520b69b
Gerrit plugin to provide information via SSH commands to Gerrit Administrators.