1 files changed, 15 insertions, 0 deletions
diff --git a/git.liw.fi.sh b/git.liw.fi.sh
index 653e6ec..304bfdb 100644
--- a/git.liw.fi.sh
+++ b/git.liw.fi.sh
@@ -79,3 +79,18 @@ user_del()
 	return 1
     fi
 }
+
+
+# Remove a repository from the server. This is a two-step process.
+
+destroy_repo()
+{
+    if run_gitano_as "$1" destroy "$2" 2> "$DATADIR/temp"
+    then
+	secret=$(awk '{ s = $2 } END { print s }' "$DATADIR/temp")
+	run_gitano_as "$1" destroy "$2" "$secret"
+    else
+	cat "$DATADIR/temp" 1>&2
+	return 1
+    fi
+}