Merge branch 'ws/request-pull-code-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 Jan 2017 23:59:23 +0000 (15:59 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 Jan 2017 23:59:23 +0000 (15:59 -0800)
commit71db0cf0c7558968bba5e8920821eda54e74b6cf
treec39c2aeee5121049797cc1e797e584a5c35928c1
parent831bd5e775ad5225f2a98eba738f69148cd50e0a
parentc68d2d7c2b9e68a469780f5556719ec1f1d95cf3
Merge branch 'ws/request-pull-code-cleanup'

Code clean-up.

* ws/request-pull-code-cleanup:
  request-pull: drop old USAGE stuff