3 # USAGE: git-short-commit.sh <GIT_URL> <GIT_REF> <GIT_DIR>
14 if [ -z "${GIT_URL}" ]; then
15 error
"Git URL not specified"
19 if [ -z "${GIT_REF}" ]; then
20 error
"Git reference not specified"
24 if [ -z "${GIT_DIR}" ]; then
25 error
"Git clone directory not specified"
33 git init
--quiet "${GIT_DIR}"
36 for PREFIX
in "" "https://" "http://" "git@"; do
37 echo "Trying remote '${PREFIX}${GIT_URL}'" >&2
38 git remote add origin
"${PREFIX}${GIT_URL}"
40 if git fetch
--depth 1 origin
"${GIT_REF}"; then
41 git checkout
--detach FETCH_HEAD
--
42 git rev-parse
--short HEAD
46 git remote remove origin