[close #646] Ignore case of file name
[close #646] Ignore case of file name

We downcase repo names, but not files on disk. When comparing a file name with mixed case to a repo with a downcased name, it will fail.


codetriage/codetriage,codetriage/codetriage,codetriage/codetriage