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

Drop E suffix when printing rule id #1305

Merged
merged 1 commit into from Feb 4, 2021
Merged

Drop E suffix when printing rule id #1305

merged 1 commit into from Feb 4, 2021

Commits on Feb 4, 2021

  1. Drop E suffix when printing rule id 

    From now on we no longer print E before rule id on parseable and
normal printing because it both reduced readability of the text
and also because it was misleading, some errors may be only
warnings but we always displayed only E.

This will also make it easier for us to migrate to text rule ids,
which are more human friendly.
    @ssbarnea
    ssbarnea committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    b40e923 View commit details
    Browse the repository at this point in the history