diff options
author | David Turner <dturner@twitter.com> | 2014-05-08 10:23:34 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-05-08 14:34:00 -0700 |
commit | baa37bff9a845471754d3f47957d58a6ccc30058 (patch) | |
tree | 7c325075844e18a2eac8e1059694d3f0be403dd8 /symlinks.c | |
parent | merge-recursive.c: fix case-changing merge bug (diff) | |
download | tgif-baa37bff9a845471754d3f47957d58a6ccc30058.tar.xz |
mv: allow renaming to fix case on case insensitive filesystems
"git mv hello.txt Hello.txt" on a case insensitive filesystem
always triggers "destination already exists" error, because these
two names refer to the same path from the filesystem's point of
view, and requires the user to give "--force" when correcting the
case of the path recorded in the index and in the next commit.
Detect this case and allow it without requiring "--force".
Signed-off-by: David Turner <dturner@twitter.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'symlinks.c')
0 files changed, 0 insertions, 0 deletions