case-sensitive-filename using git mv File.txt file.txt to automatically stage the renamed file no need to add, just commit and verify.