request-pull: documentation updates
commitec445074e0ac4d6003acd21c512c43c8fdb8be86
authorJunio C Hamano <gitster@pobox.com>
Wed, 12 Mar 2014 18:04:11 +0000 (12 11:04 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 13 Mar 2014 21:22:20 +0000 (13 14:22 -0700)
tree4f7c9f4c27ccda8292d224ac3741aad56eba4973
parent5aae66bd998429959d89c5bedf0bd8175a2b3f33
request-pull: documentation updates

The original description talked only about what it does.  Instead,
start it with the purpose of the command, i.e. what it is used for,
and then mention what it does to achieve that goal.

Clarify what <start>, <url> and <end> means in the context of the
overall purpose of the command.

Describe the extended syntax of <end> parameter that is used when
the local branch name is different from the branch name at the
repository the changes are published.

Helped-by: Eric Sunshine
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-request-pull.txt