If you are experiencing issues pulling an existing git repo, do something like

        rm -rf lib/luajit


first, to remove the old stuff. We are seeing cases where the new subtree will 
not overwrite the existing files.

— leif

Reply via email to