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.
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
16 if [ x
"$2" = x
"0000000000000000000000000000000000000000" ]; then
17 echo "The mob user cannot _create_ the 'mob' branch, sorry" >&2