Open timwoj opened 10 months ago
These files are not duplicates, but instead, two different packages published with the same package name, just one is lower case. I don't know what the fix would be from our end, I don't think we want to delete a package from the website
That's weird. I'll look into what happened on the packages side.
On a side note, if a package is deleted from that repo, does the website code handle removing the package correctly?
I recloned my repo just recently on a macOS host, and got this:
It would probably throw the same error on any system that has case-sensitive filenames.
Which of those files is the correct one and which can be deleted? They were both added in this commit: https://github.com/zeek/package-website/commit/894e937971354d254629d71979859e85eb905f3d