can't check out repo on Mac
lsf37 opened this issue · comments
There are some files that become identical under case-insensitive file systems, content/js/tinymce/LICENSE.TXT and content/js/tinymce/license.txt
git clone git@github.com:seL4/website.git
Cloning into 'website'...
remote: Enumerating objects: 391, done.
remote: Counting objects: 100% (391/391), done.
remote: Compressing objects: 100% (296/296), done.
remote: Total 391 (delta 28), reused 391 (delta 28), pack-reused 0
Receiving objects: 100% (391/391), 19.91 MiB | 1.29 MiB/s, done.
Resolving deltas: 100% (28/28), done.
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:
'content/js/tinymce/LICENSE.TXT'
'content/js/tinymce/license.txt'
tinymce is going away, and that will fix the problem. It's part of the current workflow; the new workflow won't need it.
Cool. I'll assign the issue to Luke so he can tick it off when tinymce is gone.
tinymce is now gone.
Cool, thanks. Can confirm that everything now works fine.