Google Git
Sign in
gerrit/plugins/delete-project/b31596bb73cc8a67481ba3439f44384341bd15e4
commit
b31596bb73cc8a67481ba3439f44384341bd15e4
[log]
author
David Ostrovsky <david@ostrovsky.org>
Mon Sep 03 08:48:06 2018 +0200
committer
David Ostrovsky <david@ostrovsky.org>
Mon Sep 03 08:48:06 2018 +0200
tree
d67b8cb7c19d44c4e7b5b7d920e996ec12008b5a
parent
b4a05b05476bdfff55ab30ee7d9f2b48b9979748 [diff]
Migrate `tools/bazel.rc` to `.bazelrc`

Since: [1] Bazel changed the list of resource file locations.
Adapt to that list and move `%workspace%/tools/bazelrc` to
`%workspace%/.bazelrc`.

[1] https://github.com/bazelbuild/bazel/commit/ec83598

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