sha1_name: implement @{push} shorthand

diff --git a/Documentation/config.txt b/Documentation/config.txt
index e119d06d2b1855faf6d4dcbef9e1a1a3f61a3e04..2e5ceaf71974b1e5404de79103648da1829eaf42 100644 (file)
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -2111,6 +2111,12 @@ new default).
 
 --
 
+push.followTags::
+       If set to true enable '--follow-tags' option by default.  You
+       may override this configuration at time of push by specifying
+       '--no-follow-tags'.
+
+
 rebase.stat::
        Whether to show a diffstat of what changed upstream since the last
        rebase. False by default.