Skip to content

Comments

Ignore case on spell check#914

Merged
gkorland merged 3 commits intomasterfrom
ck-spellignorecase-noci
Jan 22, 2023
Merged

Ignore case on spell check#914
gkorland merged 3 commits intomasterfrom
ck-spellignorecase-noci

Conversation

@chayim
Copy link
Contributor

@chayim chayim commented Jan 16, 2023

No description provided.

@chayim chayim requested a review from gkorland January 16, 2023 07:44
@CLAassistant
Copy link

CLAassistant commented Jan 16, 2023

CLA assistant check
All committers have signed the CLA.

gkorland
gkorland previously approved these changes Jan 16, 2023
@gkorland
Copy link
Contributor

@chayim please notice spelling is still failing on jedis

@chayim
Copy link
Contributor Author

chayim commented Jan 19, 2023

I don't think this actually works - even though the setting says it does.

@gkorland gkorland merged commit b458d28 into master Jan 22, 2023
@gkorland gkorland deleted the ck-spellignorecase-noci branch January 22, 2023 09:24
rafie pushed a commit that referenced this pull request Jan 31, 2023
* ignore case on spelling

* plugin version bump

* spelling

(cherry picked from commit b458d28)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants