diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-06-18 14:16:13 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-06-18 14:18:57 -0700 |
| commit | 55656c1c6bab2b48c8e521d62dd2848e261141a4 (patch) | |
| tree | ed91fa7780e472f52ddcd29704efb670b41e0618 /modules/services/gerrit | |
| parent | feat(ipconverter): install the tool with my other packages (diff) | |
| download | world-55656c1c6bab2b48c8e521d62dd2848e261141a4.tar.gz | |
ref(gerrit): add the plugin to delete projects
I need to remove some repositories I created by mistake, this will make it easier than messing up with the database. Change-Id: Ia9357226532fe943d15eaec43413502849e39d3d Reviewed-on: https://cl.fcuny.net/c/world/+/444 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to '')
| -rw-r--r-- | modules/services/gerrit/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/modules/services/gerrit/default.nix b/modules/services/gerrit/default.nix index a55bdda..9ae9e50 100644 --- a/modules/services/gerrit/default.nix +++ b/modules/services/gerrit/default.nix @@ -50,6 +50,8 @@ in # stores review information for Gerrit changes in the # refs/notes/review branch. "reviewnotes" + # delete projects via the command line + "delete-project" ]; jvmHeapLimit = "4g"; |