You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PR #596 has created a duplicate file differing only in file case...
I thought I would grab a few minutes to approve and publish the updates from last week...
I reviewed them on GitHub, which ran with no errors. Then approved.
Now I come to publish, I see this:
Sure enough there are two files differing only in case of name...
We thought we had checks to trap this, but for some reason they didn't spot it.
So apologies but I have no time to deal with this until next weekend at the earliest...
From Discord https://discord.com/channels/686053708261228577/915679988118863933/1069568350050586654
PR #596 has created a duplicate file differing only in file case...
The text was updated successfully, but these errors were encountered: