summaryrefslogtreecommitdiff
path: root/development/gerrit.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'development/gerrit.mdwn')
-rw-r--r--development/gerrit.mdwn11
1 files changed, 11 insertions, 0 deletions
diff --git a/development/gerrit.mdwn b/development/gerrit.mdwn
new file mode 100644
index 0000000..21fb198
--- /dev/null
+++ b/development/gerrit.mdwn
@@ -0,0 +1,11 @@
+= Deleting repos =
+To delete a project foo from gerrit simply move the repo out of the way on the
+server:
+
+ mv gerrit/git/foo.git remove.me/
+
+Then rebuild the caches and check the project list:
+
+ ssh -p 29418 review.example.com gerrit flush-caches --cache project_list
+ ssh -p 29418 review.example.com gerrit ls-projects
+