]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'pb/guide-docs'
authorJunio C Hamano <gitster@pobox.com>
Mon, 10 Aug 2020 17:24:04 +0000 (10:24 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 10 Aug 2020 17:24:04 +0000 (10:24 -0700)
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'


Trivial merge