From 5eb5a65185393e084ccd32973449ea970cbbcf3b Mon Sep 17 00:00:00 2001
From: Guido Günther <agx@sigxcpu.org>
Date: Thu, 11 Jul 2013 21:51:48 +0200
Subject: Add gerrit snippet

---
 development/gerrit.mdwn | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 development/gerrit.mdwn

(limited to 'development')

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
+
-- 
cgit v1.2.3