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.

Sign up for GitHub

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

Jump to bottom

codespell: add false positive for El Didi #18687

Closed
wants to merge 2 commits into from
Closed

codespell: add false positive for El Didi #18687

wants to merge 2 commits into from

Conversation

benpicco
Copy link
Contributor

@benpicco benpicco commented Oct 4, 2022 •
edited
Loading

Contribution description

Testing procedure

Issues/PRs references

needed for #18686

@benpicco benpicco added Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels Oct 4, 2022
@github-actions github-actions bot added Area: doc Area: Documentation Area: tools Area: Supplementary tools labels Oct 4, 2022
@benpicco benpicco requested review from miri64 and aabadie October 4, 2022 13:39
@benpicco
Copy link
Contributor Author

benpicco commented Oct 4, 2022

lowercase did the trick…

@benpicco benpicco closed this Oct 4, 2022
@benpicco benpicco deleted the codespell-Al_Didi branch October 4, 2022 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@miri64 miri64 Awaiting requested review from miri64

@aabadie aabadie Awaiting requested review from aabadie

Assignees
No one assigned
Labels
Area: doc Area: Documentation Area: tools Area: Supplementary tools CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs Impact: minor The PR is small in size and might only require a quick look of a knowledgeable reviewer
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@benpicco