From e9fccc7c9374c0129159282f0c7f4619a390e8a2 Mon Sep 17 00:00:00 2001
From: Mauricio Pasquier Juan <mauricio@pasquierjuan.com.ar>
Date: Tue, 10 Sep 2013 21:22:46 -0300
Subject: command to delete repositories

---
 git-shell-commands/delete-repo | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 git-shell-commands/delete-repo

diff --git a/git-shell-commands/delete-repo b/git-shell-commands/delete-repo
new file mode 100755
index 0000000..8349308
--- /dev/null
+++ b/git-shell-commands/delete-repo
@@ -0,0 +1,13 @@
+#!/bin/sh
+# * delete-repo
+#   Allows users to delete repositories permanently
+#   ssh git@host delete-repo repo1 repo2 ...
+
+set -e
+
+for i in $@; do
+    if [ -z "$repo" ]; then continue; fi
+
+    # lo and behold absolute horror
+    rm -rf "$repo".git
+done
-- 
cgit v1.2.3