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

Warn and detect edition of generated files #445

Merged
merged 4 commits into from
Apr 25, 2024
Merged

Warn and detect edition of generated files #445

merged 4 commits into from
Apr 25, 2024

Commits on Apr 25, 2024

  1. Warn and detect edition of generated files 

    If the detection happens to have false positive, it will be removed in favor of keeping the warning
only.

Fixes google#444
    @ia0
    ia0 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    d8522e0 View commit details
    Browse the repository at this point in the history

  2. review

    @ia0
    ia0 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    869219d View commit details
    Browse the repository at this point in the history

  3. Disable check in CI

    @ia0
    ia0 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    bf23c0d View commit details
    Browse the repository at this point in the history

  4. Add some slack

    @ia0
    ia0 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    800e152 View commit details
    Browse the repository at this point in the history