2019-02-17 18:35:40 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
cat <<EOF
|
|
|
|
|
Welcome to the Brawner home private git server. The available commands are listed below:
|
|
|
|
|
|
|
|
|
|
delete [REPOSITORY_NAME] - delete a repository
|
2019-02-18 01:36:07 +00:00
|
|
|
edit-description [REPOSITORY_NAME] - edit the description for a repository
|
2019-02-17 18:35:40 +00:00
|
|
|
ls - list the repositories
|
|
|
|
|
mirror [REPOSITORY_URL] - create a mirror of a repository on another server
|
2019-02-18 14:15:57 +00:00
|
|
|
mirror-github-org [ORG_NAME] - create a mirror of all repositories owned by a GitHub organization
|
2019-02-18 01:36:07 +00:00
|
|
|
new [REPOSITORY_NAME] - create a new repository
|
2019-02-17 18:35:40 +00:00
|
|
|
notify-jenkins [REPOSITORY_NAME] - configure a repository to notify Jenkins of new commits
|
|
|
|
|
rename [OLD_REPOSITORY_NAME] [NEW_REPOSITORY_NAME] - rename a repository
|
|
|
|
|
|
|
|
|
|
EOF
|
