Merge branch 'bp/checkout-new-branch-optim'
commitdbc50fd63c75320720481a1787312e080249220d
authorJunio C Hamano <gitster@pobox.com>
Thu, 20 Sep 2018 21:51:43 +0000 (20 14:51 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Sep 2018 21:51:43 +0000 (20 14:51 -0700)
tree7ea93785212838d6c85e50346a5bd2bb4982312c
parent2d3b1c576c85b7f5db1f418907af00ab88e0c303
parent60129c61e55fa5567d8b7ebe21b607e363330f07
Merge branch 'bp/checkout-new-branch-optim'

"git checkout -b newbranch [HEAD]" should not have to do as much as
checking out a commit different from HEAD.  An attempt is made to
optimize this special case.

* bp/checkout-new-branch-optim:
  config doc: add missing list separator for checkout.optimizeNewBranch
Documentation/config.txt