7 if [ -z "$git_user" -o -z "$git_branch" ]; then
8 echo "Download the releaser"
9 echo "usage: $0 <github-user-or-company> <branch>"
10 echo "example: $0 civicrm master"
14 wget
-O gitify
"https://raw.github.com/${git_user}/civicrm-core/${git_branch}/bin/gitify"
15 wget
-O releaser
"https://raw.github.com/${git_user}/civicrm-core/${git_branch}/tools/scripts/releaser/releaser"
16 wget
-O releaser.conf.txt
"https://raw.github.com/${git_user}/civicrm-core/${git_branch}/tools/scripts/releaser/releaser.conf.txt"