Closed balacij closed 3 months ago
Ok, @B-rando1 and @samm82 tested this for me (testing breakage + fix) -- thank you guys again! So this fixes the path issue related to Windows machines cloning our repo.
There's a merge conflict to resolve first.
Good to go now!
@daijingz is exhibiting an issue with #3705 regarding a "bad path name". He is using Windows and Git Desktop. I believe the "bad path name" is a result of Windows' file system having more restrictions on what valid file names are in comparison to Linux and Darwin. In other words, the current repo might be unusable for Windows users who don't use Linux on Windows (i.e., use Windows-native-build tooling).
This PR tries to:
I don't think it is necessary to go all out and make sure that all file paths and names are valid in the git repo -- this PR does just the bare minimum.
@daijingz if you could please try out this branch and report if it works, that would be appreciated!