No warning for mixed case files when pushing/CI
Pushing Iconfont.woff
to a site broke it, as OSX is casesensitive but Linux isn't. git is also pretty poor at renaming these files itself on OSX if someone else already fixed the repository.
push should probably check and warn/fail if you're trying to push a file with a mixed case name in webdesigns/xxx/web/. or should we just reject ALL mixed case files in Push and CI to be on the safe side ?
@webhare_rob @krisbreuker @wouterhendriks any of you happen to have any practical example where a file really needs to be mixed case ?