Use "git merge" instead of "git pull ."

diff --git a/Documentation/git-verify-tag.txt b/Documentation/git-verify-tag.txt
index 5ff76e892aed19ff7943848edbf32c772b845d3d..f88ba96f023ac9f497f01ef699d0931a6d14e59a 100644 (file)
--- a/Documentation/git-verify-tag.txt
+++ b/Documentation/git-verify-tag.txt
@@ -21,7 +21,7 @@ OPTIONS
        Print the contents of the tag object before validating it.
 
 <tag>...::
-       SHA1 identifiers of git tag objects.
+       SHA-1 identifiers of Git tag objects.
 
 GIT
 ---