Diff: noos_mbed/.git/hooks/pre-receive.sample

Revision:

0:e8a1ba50c46b

diff -r 000000000000 -r e8a1ba50c46b noos_mbed/.git/hooks/pre-receive.sample
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/noos_mbed/.git/hooks/pre-receive.sample	Thu Jan 14 19:12:57 2021 +0530
@@ -0,0 +1,24 @@
+#!/bin/sh
+#
+# An example hook script to make use of push options.
+# The example simply echoes all push options that start with 'echoback='
+# and rejects all pushes when the "reject" push option is used.
+#
+# To enable this hook, rename this file to "pre-receive".
+
+if test -n "$GIT_PUSH_OPTION_COUNT"
+then
+	i=0
+	while test "$i" -lt "$GIT_PUSH_OPTION_COUNT"
+	do
+		eval "value=\$GIT_PUSH_OPTION_$i"
+		case "$value" in
+		echoback=*)
+			echo "echo from the pre-receive-hook: ${value#*=}" >&2
+			;;
+		reject)
+			exit 1
+		esac
+		i=$((i + 1))
+	done
+fi