summaryrefslogtreecommitdiff
path: root/check-receive-policy
blob: 1956a07ffe3420192cc2db96624797289cf5c09a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/sh -eu
set -eu

# Check if user is allowed
user=`id -un`
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