Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 26 Nov 2007 03:10:01 +0000 (19:10 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 26 Nov 2007 03:10:01 +0000 (19:10 -0800)
commit1ab58e8d6f728cdde0057f7ee88daab3a1c2d06f
tree7d39ffb6f1aa0676c244cf279ddb940cc71489bf
parent84ef033832af9e0be886214c70b2006b08630072
parentdc3e3ea3c838c1ddf7423401b4cf7a7dba528cff
Merge branch 'maint'

* maint:
  user-manual: recovering from corruption
  user-manual: clarify language about "modifying" old commits
  user-manual: failed push to public repository
  user-manual: define "branch" and "working tree" at start
  git-checkout: describe detached head correctly
Documentation/user-manual.txt
git-checkout.sh