|
0
|
1 #!/nix/store/svx59425zxp552p2b8gm11qj5r09b56i-bash-5.3p15/bin/bash |
|
|
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 |
