From: Daniil S <ds98s3a@gmail.com>
Date: Tue, 12 Jan 2016 02:06:17 GMT
Subject: Git doesn't save capitalization change in file names.
Message-ID: <CAMkNX-K=GQ6LkZv2PS5Pfs+v2bN1ozi9P5ZN4Z60Ba-3JtuRkg@mail.gmail.com>

So I've now encountered this with both GitHub and BitBucket, Windows and
Linux versions, so I'm fairly sure it's git's fault.

Example: if file named "Pathfinding.java" was renamed to "PathFinding.java"
and that change is then committed, filename won't change in repository.