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

Document errors to ignore instead of forcing it upon users #564

Merged
merged 4 commits into from
May 8, 2020
Merged

Document errors to ignore instead of forcing it upon users #564

merged 4 commits into from
May 8, 2020

Conversation

spawnia
Copy link
Contributor

@spawnia spawnia commented May 6, 2020

  • Added or updated tests
  • Documented user facing changes
  • Updated CHANGELOG.md

Relates to the discussion in #557

Changes

  • Document common errors for users to ignore

Breaking changes

  • Do not overwrite PHPStan's default for reportUnmatchedIgnoredErrors
  • Stop ignoring errors

extension.neon Show resolved Hide resolved
extension.neon Show resolved Hide resolved
extension.neon Show resolved Hide resolved
@canvural
Copy link
Collaborator

canvural commented May 6, 2020

Should we increase the minor version (0.6) when this is merged?

@spawnia
Copy link
Contributor Author

spawnia commented May 6, 2020

Should we increase the minor version (0.6) once this is merged?

Makes sense, there is some breakage that might require a bunch of work. Should i write up a quick upgrade guide?

@canvural
Copy link
Collaborator

canvural commented May 6, 2020

Should i write up a quick upgrade guide?

Yes, that would be nice. We can maybe redirect them to the actual docs in the upgrade guide.

extension.neon Show resolved Hide resolved
docs/errors-to-ignore.md Outdated Show resolved Hide resolved
@canvural canvural merged commit 2baa762 into larastan:master May 8, 2020
@canvural
Copy link
Collaborator

canvural commented May 8, 2020

Thank you!

@spawnia spawnia deleted the reportUnmatchedIgnoredErrors branch May 8, 2020 11:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants