Browse Source
On a case sensitive filesystem, "git reset --hard" might refuse to overwrite a file whose name differs only by case, even if core.ignorecase is set. It is not clear which circumstances cause this behavior. This commit simply works around the problem by removing the case changing file before running "git reset --hard". Signed-off-by: Steffen Prohaska <prohaska@zib.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>maint
Steffen Prohaska
17 years ago
committed by
Junio C Hamano
1 changed files with 2 additions and 0 deletions
Loading…
Reference in new issue