Merge branch 'js/no-pager-shorthand'
authorJunio C Hamano <gitster@pobox.com>
Wed, 23 May 2018 05:38:18 +0000 (14:38 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 May 2018 05:38:18 +0000 (14:38 +0900)
commitc9aac55c4e99302e1e365e480eb52c3da2d7c853
tree2091d68f18dda658a10438e29ce53dad2e838104
parent4a3bf32b6c7e5d832e02f30a78ad23dc6ba15dcc
parent7213c288187bd9ef1e32e4f86c20c55436f1ae90
Merge branch 'js/no-pager-shorthand'

"git --no-pager cmd" did not have short-and-sweet single letter
option. Now it does.

* js/no-pager-shorthand:
  git: add -P as a short option for --no-pager
git.c