Merge branch 'ss/user-manual'
commit7e3e80a88181c99d33567c05fc865e26f971e954
authorJunio C Hamano <gitster@pobox.com>
Wed, 20 Jan 2016 19:43:27 +0000 (20 11:43 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 20 Jan 2016 19:43:28 +0000 (20 11:43 -0800)
tree91d5f781f63ac8847e534fc09a6537f0427734e8
parent5135d1c3d2a2c8c6c9701bd0cbcf57ce587f750d
parent99487cf228ecba869d2f87f1b55f281fdd1342db
Merge branch 'ss/user-manual'

Drop a few old "todo" items by deciding that the change one of them
suggests is not such a good idea, and doing the change the other
one suggested to do.

* ss/user-manual:
  user-manual: add addition gitweb information
  user-manual: add section documenting shallow clones
  glossary: define the term shallow clone
  user-manual: remove temporary branch entry from todo list
Documentation/glossary-content.txt
Documentation/user-manual.txt