Merge branch 'pb/guide-docs'
commit995c71986acb1194d9c747eb3c12403db1a7ab66
authorJunio C Hamano <gitster@pobox.com>
Mon, 10 Aug 2020 17:24:04 +0000 (10 10:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 10 Aug 2020 17:24:04 +0000 (10 10:24 -0700)
tree74cb770bf8cc6a602a89d7006cd0b34d8f824650
parentabde3d39eca4df00a7e1636b4dfea43d739dd156
parentf442f28a81b56d99b803be221ba397f2a586c88e
Merge branch 'pb/guide-docs'

Update "git help guides" documentation organization.

* pb/guide-docs:
  git.txt: add list of guides
  Documentation: don't hardcode command categories twice
  help: drop usage of 'common' and 'useful' for guides
  command-list.txt: add missing 'gitcredentials' and 'gitremote-helpers'