1 files changed, 17 insertions, 0 deletions
diff --git a/misc/git-shell-commands/delete-repo b/misc/git-shell-commands/delete-repo
new file mode 100755
index 0000000..5ef94b1
--- /dev/null
+++ b/misc/git-shell-commands/delete-repo
@@ -0,0 +1,17 @@
+#!/bin/bash
+# * delete-repo
+#   Allows users to delete repositories permanently
+#   ssh git@host delete-repo repo1 repo2 ...
+
+set -e
+
+for repo in "$@"; do
+    repo="$(sed -r 's,^/*,,' <<<"$repo")"
+    _repo="$(sed -r -e '/(^|\/)\.\.($|\/)/d' -e "s,[^A-Za-z0-9\./_~-],,g" <<<"$repo")"
+    test "$repo" != "$_repo" && { printf 'Illegal name: %s\n'   "${repo}"; continue; }
+    test ! -d "$repo".git    && { printf 'Does not exist: %s\n' "${repo}"; continue; }
+
+    echo "Removing ${repo}.git"
+    # lo and behold absolute horror
+    rm -rf -- "$repo".git
+done