Merge branch 'stable-3.0' into stable-3.1 * stable-3.0: Upgrade bazlets to latest stable-2.16 to build with 2.16.18 API Bump Bazel version to 3.1.0 Change-Id: I45cc2fd68ab6a08f51e0325fa1a3087c54ebbd80
A plugin which allows projects to be deleted from Gerrit via an SSH command, REST API or the Project settings screen.