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" ] || [ -z "$oldrev" ] || [ -z "$newrev" ]; then
17 echo "Usage: $0 <ref> <oldrev> <newrev>" >&2
21 # --- Disallow all pushes
23 echo "*** Pushing to the superproject is not allowed" >&2
25 echo "*** If you would like to update the superproject, use remctl" >&2