Skip to content

#6154 git_status_list_new case insensitive fix - #6159

Merged
ethomson merged 1 commit into
libgit2:mainfrom
arroz:fix/case-insensitive-status2
Jan 6, 2022
Merged

#6154 git_status_list_new case insensitive fix#6159
ethomson merged 1 commit into
libgit2:mainfrom
arroz:fix/case-insensitive-status2

Conversation

@arroz

@arroz arroz commented Jan 1, 2022

Copy link
Copy Markdown
Contributor

Fixes issue #6154.

(Sorry for the re-submission, improved test implementation so no new test repo had to be added).

@ethomson
ethomson merged commit ca9f6b9 into libgit2:main Jan 6, 2022
@ethomson

ethomson commented Jan 6, 2022

Copy link
Copy Markdown
Member

I merged this manually to resolve the conflicts. Thanks for the fix! One thing to keep in mind is that we don't use // style comments in libgit2 - I cleaned those up manually. (I should probably add a linter rule here. 🤔)

@ethomson ethomson added the bug label Feb 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants