Merge branch 'ah/doc-gitattributes-empty-index' into maint

diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt
index e4b785eb60e8efeb282438ab0123d5eec009c625..4a584f3c5d7e40fc5a8a1e5c68a63e8156bdcd64 100644 (file)
--- a/Documentation/gitremote-helpers.txt
+++ b/Documentation/gitremote-helpers.txt
@@ -463,7 +463,7 @@ set by Git if the remote helper has the 'option' capability.
        GPG sign pushes.
 
 'option push-option <string>::
-       Transmit <string> as a push option. As the a push option
+       Transmit <string> as a push option. As the push option
        must not contain LF or NUL characters, the string is not encoded.
 
 SEE ALSO