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

Deny merge in CI take 2 #106333

Closed
wants to merge 3 commits into from
Closed

Deny merge in CI take 2 #106333

wants to merge 3 commits into from

Commits on Dec 31, 2022

  1. Add tidy check to deny merge commits 

    This will prevent users with the pre-push hook from pushing a merge
commit.

Exceptions are added for subtree updates. These exceptions are a little
hacky and may be non-exhaustive but can be extended in the future.

Checkout `master` branch in CI

Add `build_helper` crate to share code between tidy and bootstrap
    @Noratrieb
    Noratrieb committed Dec 31, 2022
    Configuration menu
    Copy the full SHA
    e41d603 View commit details
    Browse the repository at this point in the history

  2. try

    @Noratrieb
    Noratrieb committed Dec 31, 2022
    Configuration menu
    Copy the full SHA
    fcc7c55 View commit details
    Browse the repository at this point in the history

  3. Update no_merge.rs

    @Noratrieb
    Noratrieb authored Dec 31, 2022
    Configuration menu
    Copy the full SHA
    5705d73 View commit details
    Browse the repository at this point in the history