diff options
| author |  Tom Miller <jackerran@gmail.com> | 2014-01-02 20:28:51 -0600 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2014-01-03 10:13:39 -0800 |
| commit | 4b3b33a747c325f76b1f6eef89c231609dd4d361 (patch) | |
| tree | 17b2e0b5025912311beb08f86289405c2d2a70d1 /git-instaweb.sh | |
| parent | Sync with 1.8.5.2 (diff) | |
| download | tgif-4b3b33a747c325f76b1f6eef89c231609dd4d361.tar.xz | |
fetch --prune: always print header url
If "fetch --prune" is run with no new refs to fetch, but it has refs
to prune. Then, the header url is not printed as it would if there were
new refs to fetch.
Output before this patch:
$ git fetch --prune remote-with-no-new-refs
x [deleted] (none) -> origin/world
Output after this patch:
$ git fetch --prune remote-with-no-new-refs
From https://github.com/git/git
x [deleted] (none) -> origin/test
Signed-off-by: Tom Miller <jackerran@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-instaweb.sh')
0 files changed, 0 insertions, 0 deletions