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)
commit45f28edbe9ce730c8d54a0042eafc34657f81c27
treee18e6de885933f26f315eaee615bd0f0d806782e
parent5816d3cdfbfbeb5d173114ed08ab5c04c63207a6
parentc68d2d7c2b9e68a469780f5556719ec1f1d95cf3
Merge branch 'ws/request-pull-code-cleanup' into maint

Code clean-up.

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