Merge branch 'rs/opt-updates'
commitfc0df933c8fa09603a9e9798085ee07ca1a83f65
authorJunio C Hamano <gitster@pobox.com>
Mon, 27 Aug 2018 21:33:43 +0000 (27 14:33 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 27 Aug 2018 21:33:43 +0000 (27 14:33 -0700)
treeeb9d2ad782975bd21f6725e0a30add4a374ccadb
parent6e96e88ae43e8c78ec0066b0ee87d53987b14098
parentbbc072f5d884d17a6102fd04ae6d2cfcaa98ad48
Merge branch 'rs/opt-updates'

"git cmd -h" updates.

* rs/opt-updates:
  parseopt: group literal string alternatives in argument help
  remote: improve argument help for add --mirror
  checkout-index: improve argument help for --stage
builtin/checkout-index.c
builtin/pull.c
builtin/push.c
builtin/remote.c
builtin/send-pack.c