git-shell-commands/help
Billy Brawner 7c408d6d70 Use sh instead of bash for scripts
Signed-off-by: Billy Brawner <billy@wbrawner.com>
2019-12-22 16:33:19 -06:00

15 lines
840 B
Bash
Executable file

#!/usr/bin/env sh
cat <<EOF
Welcome to the Brawner home private git server. The available commands are listed below:
delete [REPOSITORY_NAME] - delete a repository
edit-description [REPOSITORY_NAME] - edit the description for a repository
ls - list the repositories
mirror [REPOSITORY_URL] - create a mirror of a repository on another server
mirror-github-org [ORG_NAME] - create a mirror of all repositories owned by a GitHub organization
new [REPOSITORY_NAME] - create a new repository
notify-jenkins [REPOSITORY_NAME] - configure a repository to notify Jenkins of new commits
rename [OLD_REPOSITORY_NAME] [NEW_REPOSITORY_NAME] - rename a repository
EOF