Documentation / git-repo-config.txton commit Documentation: explain push.default option a bit more (185c087)
   1git-repo-config(1)
   2==================
   3
   4NAME
   5----
   6git-repo-config - Get and set repository or global options
   7
   8
   9SYNOPSIS
  10--------
  11[verse]
  12'git repo-config' ...
  13
  14
  15DESCRIPTION
  16-----------
  17
  18This is a synonym for linkgit:git-config[1].  Please refer to the
  19documentation of that command.
  20
  21GIT
  22---
  23Part of the linkgit:git[1] suite