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 /t/perf/p0001-rev-list.sh | |
| parent | request-pull: more strictly match local/remote branches (diff) | |
| download | tgif-dc2eacc58c1118ad68b9d6973033a60b6ed9be1f.tar.xz | |
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 't/perf/p0001-rev-list.sh')
0 files changed, 0 insertions, 0 deletions