remove things that now live elsewhere

1 files changed, 0 insertions, 17 deletions

diff --git a/misc/git-shell-commands/delete-repo b/misc/git-shell-commands/delete-repo
deleted file mode 100755
index 5ef94b1..0000000
--- a/misc/git-shell-commands/delete-repo
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/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