diff options
author | Junio C Hamano <gitster@pobox.com> | 2007-10-27 10:09:48 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-10-29 00:06:39 +0300 |
commit | 9ad7c5ae8ae4625bfe32d910b0b480cfea9819e0 (patch) | |
tree | 8a838ed84b2cac5f66e0adc5d084d233f90c1ca9 /builtin-diff.c | |
parent | 071a8877662974f588dfc0b1ac7df2764b7e0337 (diff) |
git-fetch: do not fail when remote branch disappears
When the branch named with branch.$name.merge is not covered by
the fetch configuration for the remote repository named with
branch.$name.remote, we automatically add that branch to the set
of branches to be fetched. However, if the remote repository
does not have that branch (e.g. it used to exist, but got
removed), this is not a reason to fail the git-fetch itself.
The situation however will be noticed if git-fetch was called by
git-pull, as the resulting FETCH_HEAD would not have any entry
that is marked for merging.
Acked-By: Daniel Barkalow <barkalow@iabervon.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin-diff.c')
0 files changed, 0 insertions, 0 deletions