9 if [ -z "$GIT_DIR" ]; then
10 echo "Don't run this script from the command line." >&2
11 echo " (if you want, you could supply GIT_DIR then run" >&2
12 echo " $0 <ref> <oldrev> <newrev>)" >&2
16 if [ -z "$ref" -o -z "$oldrev" -o -z "$newrev" ]; then
17 echo "Usage: $0 <ref> <oldrev> <newrev>" >&2
21 # --- Disallow pushing tags
27 echo "*** Pushing non-branches to this repository is not allowed" >&2