mirror of
https://github.com/git/git.git
synced 2026-03-24 23:50:09 +01:00
A future caller of read_and_refresh_cache() may want to do more than just print some helpful advice in case of failure. Suggested by Junio Hamano. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
33 KiB
33 KiB