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

Improve pull request review experience by tagging them based on size and contents #5402

Closed
wants to merge 3 commits into from
Closed

Improve pull request review experience by tagging them based on size and contents #5402

wants to merge 3 commits into from

Commits on Oct 17, 2021

  1. Add a github action to close stale pull requests, and label new ones … 

    …according to their size.
    @orf
    orf committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    4acb186 View commit details
    Browse the repository at this point in the history

  2. Add continue-on-error: true

    @orf
    orf committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    fc0c6e7 View commit details
    Browse the repository at this point in the history

  3. Remove stale issues workflow

    @orf
    orf committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    8c6f278 View commit details
    Browse the repository at this point in the history