stash: introduce push verb

diff --git a/Documentation/diff-options.txt b/Documentation/diff-options.txt
index b249f6a2e7b97d8e249f79dfed1a023c8d29a78d..e6215c372c3c3c876125c8ac363a446fd840e112 100644 (file)
--- a/Documentation/diff-options.txt
+++ b/Documentation/diff-options.txt
@@ -308,6 +308,8 @@ ifndef::git-format-patch[]
        lines are highlighted.  E.g. `--ws-error-highlight=new,old`
        highlights whitespace errors on both deleted and added lines.
        `all` can be used as a short-hand for `old,new,context`.
+       The `diff.wsErrorHighlight` configuration variable can be
+       used to specify the default behaviour.
 
 endif::git-format-patch[]