summaryrefslogtreecommitdiff
path: root/git-shell-commands/delete-repo
diff options
context:
space:
mode:
authorParabola git <git@parabola.nu>2016-07-08 01:50:36 +0000
committerParabola git <git@parabola.nu>2016-07-08 01:50:36 +0000
commitd757e49a4042b3659c906a2bb404abd6e9eb853f (patch)
tree1f2f301e1272485935b0c5cff190bf83aba96619 /git-shell-commands/delete-repo
parentdf6c05258268304f9c2d96d34e038cebfc7950d2 (diff)
improve "help" text
Diffstat (limited to 'git-shell-commands/delete-repo')
-rwxr-xr-xgit-shell-commands/delete-repo6
1 files changed, 3 insertions, 3 deletions
diff --git a/git-shell-commands/delete-repo b/git-shell-commands/delete-repo
index 41b1d76..04e896b 100755
--- a/git-shell-commands/delete-repo
+++ b/git-shell-commands/delete-repo
@@ -1,7 +1,7 @@
#!/bin/bash
-# * delete-repo
-# Allows users to delete repositories permanently
-# ssh git@host delete-repo repo1 repo2 ...
+# * delete-repo REPO [REPO2...]
+# Allows users to delete REPO.git permanently
+# Example: delete-repo packages/libretools packages/pbs-tools
set -e