Pushy sshd now listens at port 22
[girocco/radio.git] / update-hook
blob98b419ecad61f6c80f94d0429a3d80be1beb5d0b
1 #!/bin/sh
3 # Currently, we just confine the mob user to the mob branch here.
5 # TODO: CIA support. Mailing list notifications support. Generalized
6 # branches push permissions support.
9 set -e
11 if [ -O /var/run/mob ]; then
12 if [ x"$1" != x"refs/heads/mob" ]; then
13 echo "The mob user can push only to the 'mob' branch, sorry" >&2
14 exit 1
16 if [ x"$2" = x"0000000000000000000000000000000000000000" ]; then
17 echo "The mob user cannot _create_ the 'mob' branch, sorry" >&2
18 exit 2
22 exit 0