test: rm git-shell-commands/delete-repo

1 files changed, 0 insertions, 17 deletions

diff --git a/git-shell-commands/delete-repo b/git-shell-commands/delete-repo
deleted file mode 100755
index 04e896b..0000000
--- a/git-shell-commands/delete-repo
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/bash
-# * delete-repo REPO [REPO2...]
-#   Allows users to delete REPO.git permanently
-#   Example: delete-repo packages/libretools packages/pbs-tools
-
-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