Merge branch 'js/windows-open-eisdir-error' into maint

diff --git a/templates/hooks--pre-push.sample b/templates/hooks--pre-push.sample
index 1f3bcebfd76ae1b37e1542631a87e5a5e3e6b1eb..69e3c67b00f482449e77945eb114f58244078b1e 100755 (executable)
--- 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