Merge branch 'dw/request-pull-diag'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Jul 2013 18:23:24 +0000 (11:23 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Jul 2013 18:23:24 +0000 (11:23 -0700)
* dw/request-pull-diag:
request-pull: improve error message for invalid revision args

Trivial merge