tree e18e6de885933f26f315eaee615bd0f0d806782e
parent 5816d3cdfbfbeb5d173114ed08ab5c04c63207a6
parent c68d2d7c2b9e68a469780f5556719ec1f1d95cf3
author Junio C Hamano <gitster@pobox.com> 1486070430 -0800
committer Junio C Hamano <gitster@pobox.com> 1486070430 -0800

Merge branch 'ws/request-pull-code-cleanup' into maint

Code clean-up.

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