request-pull: allow "local:remote" to specify names on both ends
commitdc2eacc58c1118ad68b9d6973033a60b6ed9be1f
authorLinus Torvalds <torvalds@linux-foundation.org>
Wed, 22 Jan 2014 23:23:48 +0000 (22 15:23 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 25 Feb 2014 20:52:59 +0000 (25 12:52 -0800)
treee6046845f38123689620162ad1c60e782cb542db
parent024d34cb0813e098c5c0e4ccdacb6a461d34cb6b
request-pull: allow "local:remote" to specify names on both ends

This allows a user to say that a local branch has a different name on
the remote server, using the same syntax that "git push" uses to create
that situation.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-request-pull.sh