diff options
author | W. Trevor King <wking@tremily.us> | 2014-09-12 00:35:30 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-09-12 02:26:35 +0400 |
commit | 1a947ba3a3eebea80be6a6d1000614884807bc8b (patch) | |
tree | 6947349adf04efc499c992f08a0148ddc2fc4055 | |
parent | ce1d3a93a6405b8a0313491df3099919ed3d150f (diff) |
pre-push.sample: Write error message to stderr
githooks(5) suggests:
Information about why the push is rejected may be sent to the user
by writing to standard error.
So follow that advice in the sample.
Signed-off-by: W. Trevor King <wking@tremily.us>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rwxr-xr-x | templates/hooks--pre-push.sample | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/templates/hooks--pre-push.sample b/templates/hooks--pre-push.sample index 1f3bcebfd7..69e3c67b00 100755 --- a/templates/hooks--pre-push.sample +++ b/templates/hooks--pre-push.sample @@ -45,7 +45,7 @@ do commit=`git rev-list -n 1 --grep '^WIP' "$range"` if [ -n "$commit" ] then - echo "Found WIP commit in $local_ref, not pushing" + echo >&2 "Found WIP commit in $local_ref, not pushing" exit 1 fi fi |