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
tree: 618cf71360e22bfc883d0f053b4a37b9ee08064d
  1. gr-delete-repo/
  2. src/
  3. .bazelignore
  4. .gitignore
  5. BUILD
  6. LICENSE
  7. plugin.html
  8. README.md
README.md

Delete project plugin for Gerrit Code Review

A plugin which allows projects to be deleted from Gerrit via an SSH command, REST API or the Project settings screen.

Build Status