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