Documentation: explain push.default option a bit more

diff --git a/Documentation/git-repo-config.txt b/Documentation/git-repo-config.txt
index e5bdb5533e61687874ad36d30534b2ac9e58d7cb..9ec115b9e034cee65449eff70f032b7b0c225108 100644 (file)
--- a/Documentation/git-repo-config.txt
+++ b/Documentation/git-repo-config.txt
@@ -8,6 +8,7 @@ git-repo-config - Get and set repository or global options
 
 SYNOPSIS
 --------
+[verse]
 'git repo-config' ...
 
 
@@ -16,3 +17,7 @@ DESCRIPTION
 
 This is a synonym for linkgit:git-config[1].  Please refer to the
 documentation of that command.
+
+GIT
+---
+Part of the linkgit:git[1] suite