> That did the trick, the test case is now reproducible here. > It seems as if there could be a patch in a couple of days, but no promises. That's great news, thank you all very much! I was already afraid at first it was some weird macOS filesystem bug only happening on high sierra and earlier which was never going to be fixed. In the meantime I have managed to add "both directories" to git (with git add paulbr*). It's funny, now one directory shows up twice when viewing my repo on gitlab. And this is the message I get when cloning: warning: the following paths have collided (e.g. case-sensitive paths on a case-insensitive filesystem) and only one from the same colliding group is in the working tree: '[...]/paulbrunngård-springyard/main.ts' '[...]/paulbrunngård-springyard/main.ts' What will happen with the two folders in the git repo after the patch?
