Google Git
Sign in
gerrit / plugins / delete-project / 18d04128a145aa302e9d6214a4d0632e696150b5
commit18d04128a145aa302e9d6214a4d0632e696150b5[log] [tgz]
authorDavid Pursehouse <dpursehouse@digital.ai>Tue Jun 09 09:43:10 2020 +0900
committerDavid Pursehouse <dpursehouse@digital.ai>Tue Jun 09 09:43:10 2020 +0900
treea1686290e515950a1b8b721b9ea5d3260d0eb0d8
parentac152b6e3782795438381d2de27f0d11fbf07868 [diff]
parentf1cc698e88dd9d02d780d3d71ae23479a796b982 [diff]
Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade bazlets to latest stable-2.15 to build with 2.15.19 API
  Upgrade bazlets to latest stable-2.14 to build with 2.14.21 API

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