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)
Code clean-up.

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

Trivial merge