/tools/
../
binary-repo-lib.sh
git-get-rev
push.jar.desired.sha1