@knoppix95 what makes no sense is Linux bash is case sensitive but git is not (try to rename a directory between upper and lowercase then git pull)