Please describe the problem.

On Windows, git-annex is unable to 'annex get' from a repository hosted on an external USB disk.

What steps will reproduce the problem?

  1. Create an annex (A1) on a Linux system
  2. Clone A1 to a new annex (A2) to an external USB drive. add A1 as a remote, "annex get ."
  3. Mount the USB drive to a windows system. Clone A2 to a new annex (A3).
  4. add A2 as a remote to A3
  5. "git annex get ."
  6. annex get will fail with file not found errors. This appears to be due to case sensitivity on Windows.

What version of git-annex are you using? On what operating system?

Windows 7: 4.20140627-g8a36ec5 (from the git-annex download page)

Debian Linux: 3.20120629 (from the package manager)