diff options
| author | Charlie <root@dev.ws.local> | 2009-10-28 21:55:58 -0600 |
|---|---|---|
| committer | Charlie <root@dev.ws.local> | 2009-10-28 21:55:58 -0600 |
| commit | 8e6e01053eee06ac33277f5665a746f9c42f5e39 (patch) | |
| tree | beac23088342c3b020c023c9da891a00546c7a70 | |
| parent | 783ff95ab8c2ccc42901200bdc25a426377a3886 (diff) | |
Remove match.log diagnostic
| -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 --- |