Skip to content
/ wix Public

Comments

Use case insensitive compares for paths during harvesting#687

Merged
robmen merged 1 commit intomainfrom
robmen/9213-case-sensitivity
Jan 29, 2026
Merged

Use case insensitive compares for paths during harvesting#687
robmen merged 1 commit intomainfrom
robmen/9213-case-sensitivity

Conversation

@robmen
Copy link
Member

@robmen robmen commented Jan 29, 2026

@robmen robmen requested a review from barnson January 29, 2026 18:44
@robmen robmen enabled auto-merge (rebase) January 29, 2026 18:44
@robmen robmen merged commit e2842da into main Jan 29, 2026
2 checks passed
@robmen robmen deleted the robmen/9213-case-sensitivity branch January 29, 2026 19:19
@github-actions github-actions bot locked and limited conversation to collaborators Jan 29, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Files/@Include and Exclude/@Files treat directory names case-sensitively

2 participants