diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-06-21 14:41:57 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-06-21 14:41:57 -0700 |
commit | 2b022f62ab26be1a51b1be9c76f3e73e3a5a2b38 (patch) | |
tree | f5f3dcbe929a1180a94c5fd4eee93e90c762dc23 /progress.c | |
parent | Merge branch 'jk/clone-local' (diff) | |
parent | request-pull: really favor a matching tag (diff) | |
download | tgif-2b022f62ab26be1a51b1be9c76f3e73e3a5a2b38.tar.xz |
Merge branch 'jc/request-pull-match-tagname'
"git request-pull $url dev" when the tip of "dev" branch was tagged
with "ext4-for-linus" used the contents from the tag in the output
but still asked the "dev" branch to be pulled, not the tag.
* jc/request-pull-match-tagname:
request-pull: really favor a matching tag
Diffstat (limited to 'progress.c')
0 files changed, 0 insertions, 0 deletions