tree 7ea93785212838d6c85e50346a5bd2bb4982312c
parent 2d3b1c576c85b7f5db1f418907af00ab88e0c303
parent 60129c61e55fa5567d8b7ebe21b607e363330f07
author Junio C Hamano <gitster@pobox.com> 1537480303 -0700
committer Junio C Hamano <gitster@pobox.com> 1537480303 -0700

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