Skip to content

Add warning on needless ignores #116

@voxpelli

Description

@voxpelli

Sometimes an ignore is no longer needed and should thus be removed. We should output a warning when that is the case.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions