Skip to content

Conversation

lechnerc77
Copy link
Member

Purpose

  • Fix renamed module directory - add ignore case to git

Pull Request Type

What kind of change does this Pull Request introduce?

[X] Bugfix
[ ] Feature
[ ] Refactoring (no functional changes, no api changes)
[ ] Documentation content changes
[ ] Other... Please describe:

Other Information

git config core.ignorecase false

@github-actions github-actions bot added the bug Something isn't working label Apr 17, 2025
@lechnerc77 lechnerc77 merged commit 93ad9eb into main Apr 17, 2025
5 checks passed
@lechnerc77 lechnerc77 deleted the fix/dir branch April 17, 2025 07:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant