Andrew's git / gitweb.git / diff
?
Merge branch 'ws/request-pull-code-cleanup' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:30 +0000 (13:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:30 +0000 (13:20 -0800)
Code clean-up.

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

Trivial merge