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

[Feature:Developer] auto close redundant prs #12

Closed
wants to merge 6 commits into from
Closed

[Feature:Developer] auto close redundant prs #12

wants to merge 6 commits into from

Commits on Sep 26, 2023

  1. auto close redundant prs

    @ANS1514
    ANS1514 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    3ce79d4 View commit details
    Browse the repository at this point in the history

  2. SubmittyBot Prs only

    @ANS1514
    ANS1514 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    8b787f2 View commit details
    Browse the repository at this point in the history

  3. lint errors

    @ANS1514
    ANS1514 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    d098d96 View commit details
    Browse the repository at this point in the history

  4. lint error pt2

    @ANS1514
    ANS1514 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    ed663b0 View commit details
    Browse the repository at this point in the history

  5. changed from hello world

    @ANS1514
    ANS1514 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    65f191f View commit details
    Browse the repository at this point in the history

  6. workflow name change

    @ANS1514
    ANS1514 committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    71a4ebf View commit details
    Browse the repository at this point in the history