org.simantics.maps.server/server/tileserver-mapnik/.git.bak/hooks/pre-receive.sample

   1 #!/bin/sh
   2 #
   3 # An example hook script to make use of push options.
   4 # The example simply echoes all push options that start with 'echoback='
   5 # and rejects all pushes when the "reject" push option is used.
   6 #
   7 # To enable this hook, rename this file to "pre-receive".
   8
   9 if test -n "$GIT_PUSH_OPTION_COUNT"
  10 then
  11         i=0
  12         while test "$i" -lt "$GIT_PUSH_OPTION_COUNT"
  13         do
  14                 eval "value=\$GIT_PUSH_OPTION_$i"
  15                 case "$value" in
  16                 echoback=*)
  17                         echo "echo from the pre-receive-hook: ${value#*=}" >&2
  18                         ;;
  19                 reject)
  20                         exit 1
  21                 esac
  22                 i=$((i + 1))
  23         done
  24 fi