diff options
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 |