Merge branch 'mm/am-c-doc'

diff --git a/templates/hooks--pre-push.sample b/templates/hooks--pre-push.sample
index 1f3bcebfd76ae1b37e1542631a87e5a5e3e6b1eb..6187dbf4390fc6e28445dd3d988aefb9d1111988 100755 (executable)
--- a/templates/hooks--pre-push.sample
+++ b/templates/hooks--pre-push.sample
@@ -24,7 +24,6 @@ url="$2"
 
 z40=0000000000000000000000000000000000000000
 
-IFS=' '
 while read local_ref local_sha remote_ref remote_sha
 do
        if [ "$local_sha" = $z40 ]
@@ -45,7 +44,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