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

Add UserError #942

Merged
merged 1 commit into from
Feb 23, 2022
Merged

Add UserError #942

merged 1 commit into from
Feb 23, 2022

Commits on Feb 17, 2022

  1. Add UserError 

    This commit adds a `UserError` class that should be thrown when the
cause of an error is fundamentally from user configuration.

When sending status reports, avoid sending a `failure` for `UserError`s.
This will prevent our diagnostics from pinging us for errors outside of
our control.
    @aeisenberg
    aeisenberg committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    3d93bb2 View commit details
    Browse the repository at this point in the history