Merge branch 'jc/maintain-doc'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Mar 2020 20:57:42 +0000 (13:57 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Mar 2020 20:57:42 +0000 (13:57 -0700)
commit52f26018c80a1d0aa38b486be73bc339ddb26ffc
treedf43531350ddbf78800e041becd62e9357728563
parentaaa625567aa9f5d2881c5e3a23f3bdffe8aaf93e
parent564956f358c6db7cb565eb973e8768004667ad94
Merge branch 'jc/maintain-doc'

Doc update.

* jc/maintain-doc:
  update how-to-maintain-git