1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/sh # * delete-repo # Allows users to delete repositories permanently # ssh git@host delete-repo repo1 repo2 ... set -e for repo in $@; do if [ -z "$repo" ]; then continue; fi # lo and behold absolute horror rm -rf "$repo".git done