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

[Github] Improve automatic new issue labelling #2

Merged
merged 1 commit into from
Sep 5, 2023
Merged

[Github] Improve automatic new issue labelling #2

merged 1 commit into from
Sep 5, 2023

Commits on Sep 5, 2023

  1. [Github] Improve automatic new issue labelling 

    This patch:
  * Replace andymckay/labeler which does not appear to be maintained
    by github official solution
  * Remove the closed issue workflow which was disabled a few years
    ago and never fixed.
  * Add a few rules to add label based on PR title, hopefully that
    can make triaging simpler. If that turns out to be useful,
    we can consider adding more rules for backends, etc.
    We could technically also pattern match the body of the issue but
    I'm concerned about trying to be _too_ clever.

The new system is only triggered on PR open so manual labels
should not be removed.

Full disclosure, this was not tested, not sure how testing
could be done.
    @cor3ntin
    cor3ntin committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    71eea86 View commit details
    Browse the repository at this point in the history