#!/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