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 /http.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 'http.c')
0 files changed, 0 insertions, 0 deletions