Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Update: add source property to LintResult object (fixes #7098) #7304
What is the purpose of this pull request? (put an "X" next to item)
[ ] Documentation update
This PR refers to #7098.
Please check each item to ensure your pull request is ready:
What changes did you make? (Give an overview)
Is there anything you'd like reviewers to focus on?
@nzakas just pushed a new version that updates the custom formatters documentation!
I only added the "do not merge" label since the original issue (#7098) is still not marked as accepted. Do you think we could mark it as accepted now? Seems like no one manifested anything against the proposal after you posted the design summary.