fetch --prune: always print header url
commit4b3b33a747c325f76b1f6eef89c231609dd4d361
authorTom Miller <jackerran@gmail.com>
Fri, 3 Jan 2014 02:28:51 +0000 (2 20:28 -0600)
committerJunio C Hamano <gitster@pobox.com>
Fri, 3 Jan 2014 18:13:39 +0000 (3 10:13 -0800)
tree17b2e0b5025912311beb08f86289405c2d2a70d1
parent7794a680e63a2a11b73cb1194653662f2769a792
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>
builtin/fetch.c
t/t5510-fetch.sh