diff options
| author | Linus Torvalds <torvalds@linux-foundation.org> | 2014-01-22 15:23:48 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-02-25 12:52:59 -0800 |
| commit | dc2eacc58c1118ad68b9d6973033a60b6ed9be1f (patch) | |
| tree | e6046845f38123689620162ad1c60e782cb542db /advice.c | |
| parent | 024d34cb0813e098c5c0e4ccdacb6a461d34cb6b (diff) | |
| download | git-dc2eacc58c1118ad68b9d6973033a60b6ed9be1f.tar.gz | |
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>
Diffstat (limited to 'advice.c')
0 files changed, 0 insertions, 0 deletions