diff options
author | Parabola git <git@parabola.nu> | 2016-07-08 01:50:36 +0000 |
---|---|---|
committer | Parabola git <git@parabola.nu> | 2016-07-08 01:50:36 +0000 |
commit | d757e49a4042b3659c906a2bb404abd6e9eb853f (patch) | |
tree | 1f2f301e1272485935b0c5cff190bf83aba96619 /git-shell-commands/delete-repo | |
parent | df6c05258268304f9c2d96d34e038cebfc7950d2 (diff) |
improve "help" text
Diffstat (limited to 'git-shell-commands/delete-repo')
-rwxr-xr-x | git-shell-commands/delete-repo | 6 |
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 |