blob: 1251dec7da2ee018c6085817e87e55b96715ef50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
set -e
if [ -z "$1" ]; then
echo "Usage: delete [REPO_NAME]"
exit 1
fi
if [ ! -d "$1.git" ]; then
echo "Repository $1 does not exist"
exit 1
fi
rm -rf "$1.git"
echo "Deleted repository $1"
|