diff options
Diffstat (limited to 'pre-receive')
-rwxr-xr-x | pre-receive | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pre-receive b/pre-receive new file mode 100755 index 0000000..4232983 --- /dev/null +++ b/pre-receive @@ -0,0 +1,16 @@ +#!/bin/sh -eu +set -eu + +user=`id -un` + +# Check if user is allowed +match=`test -f git-receive-allow && grep -Fx "$user" git-receive-allow || true` +echo $match > /tmp/match.log +if [ -z "$match" ]; then + cat <<EOF >&2 +--- +You're not allowed to push to this repository as $user. +--- +EOF + exit 1 +fi |