diff options
-rwxr-xr-x | check-receive-policy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/check-receive-policy b/check-receive-policy index 1956a07..1bc8bb2 100755 --- a/check-receive-policy +++ b/check-receive-policy @@ -4,7 +4,6 @@ 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 --- |