Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix accidental case sensitive filenames! #6463

Merged
merged 1 commit into from
Apr 20, 2022

Conversation

cdrini
Copy link
Collaborator

@cdrini cdrini commented Apr 20, 2022

Ooops! Didn't notice the uppercase M here. These break windows development, since filenames are case insensitive in windows!

Technical

Testing

Screenshot

Stakeholders

These break windows development
@cdrini cdrini added the Priority: 0 Fix now: Issue prevents users from using the site or active data corruption. [managed] label Apr 20, 2022
@cdrini cdrini marked this pull request as ready for review April 20, 2022 19:31
@cdrini
Copy link
Collaborator Author

cdrini commented Apr 20, 2022

Auto-merging; small fix and want to unbreak my dev environment :)

@cdrini cdrini merged commit 9ca54cb into master Apr 20, 2022
@cdrini cdrini deleted the hotfix/filenames-case-insensitive branch April 20, 2022 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Priority: 0 Fix now: Issue prevents users from using the site or active data corruption. [managed]
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant