Google Git
Sign in
gerrit / plugins / delete-project / 5814a4e632630cb2b312350f18e8a415fb190f3b
commit5814a4e632630cb2b312350f18e8a415fb190f3b[log] [tgz]
authorDavid Pursehouse <dpursehouse@collab.net>Wed Jul 03 20:07:49 2019 +0900
committerDavid Pursehouse <dpursehouse@collab.net>Wed Jul 03 20:07:49 2019 +0900
tree30ea8759ec8210d80edced080a17643339e4daa1
parent6bd008bc8341f82e2d56d66d253168bf286484b5 [diff]
Upgrade bazlets to latest stable-2.16

- download_file.py: Synchronize curl options with gerrit core
- Bazel: Make build tool chain forward compatible

Change-Id: Ic57b35e489a4a95a2e8a259741c79d38ba657047
1 file changed
tree: 30ea8759ec8210d80edced080a17643339e4daa1
  1. .settings/
  2. gr-delete-repo/
  3. src/
  4. tools/
  5. .bazelignore
  6. .bazelrc
  7. .gitignore
  8. bazlets.bzl
  9. BUILD
  10. external_plugin_deps.bzl
  11. LICENSE
  12. plugin.html
  13. README.md
  14. WORKSPACE
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