git-push: fix --tags and document it.

diff --git a/Documentation/diff-format.txt b/Documentation/diff-format.txt
index 97756ec03086614051d5780b00825e24ee5ef56f..0398b408c05d2dccb9806c0add6d1acd13871d74 100644 (file)
--- a/Documentation/diff-format.txt
+++ b/Documentation/diff-format.txt
@@ -117,7 +117,7 @@ git specific extension to diff format
 What -p option produces is slightly different from the
 traditional diff format.
 
-1.   It is preceeded with a "git diff" header, that looks like
+1.   It is preceded with a "git diff" header, that looks like
      this:
 
      diff --git a/file1 b/file2