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.

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

Adding a MapPartial wart #684

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

ncreep
Copy link

@ncreep ncreep commented Sep 6, 2022

Resolves #649

@ncreep ncreep requested a review from xuwei-k as a code owner September 6, 2022 09:49
@davidnadeau
Copy link

Hi @ncreep , I'm also looking to use this kind of lint check, is there anything left to do to get this merged?

@ncreep
Copy link
Author

ncreep commented Dec 8, 2023

@davidnadeau, as far as I'm concerned, the pull request is ready.
If the maintainers have any comments, I can address them.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

Wart suggestion: MapPartial
2 participants