Add gerrit snippet

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
+