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

ifshort: deprecate linter #3034

Merged
merged 3 commits into from Aug 1, 2022
Merged

ifshort: deprecate linter #3034

merged 3 commits into from Aug 1, 2022

Commits on Jul 31, 2022

  1. Remove ifshort linter

    @esimonov @ldez
    esimonov authored and ldez committed Jul 31, 2022
    Copy the full SHA
    a6a9b82 View commit details
    Browse the repository at this point in the history

  2. Revert "Remove ifshort linter" 

    This reverts commit a6a9b82.
    @ldez
    ldez committed Jul 31, 2022
    Copy the full SHA
    364d3b8 View commit details
    Browse the repository at this point in the history

  3. deprecte ifshort

    @ldez
    ldez committed Jul 31, 2022
    Copy the full SHA
    a9d944c View commit details
    Browse the repository at this point in the history