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