Merge branch 'jk/doc-credential-helper' into maint
authorJunio C Hamano <redacted>
Tue, 17 Mar 2020 22:02:26 +0000 (15:02 -0700)
committerJunio C Hamano <redacted>
Tue, 17 Mar 2020 22:02:26 +0000 (15:02 -0700)
Docfix.

* jk/doc-credential-helper:
  doc: move credential helper info into gitcredentials(7)


Trivial merge
git clone https://git.99rst.org/PROJECT