2022-10-14 22:07:52 +00:00
|
|
|
name: Pull request labeler
|
|
|
|
|
|
|
|
# FIXME: Consider adding the `issue_comment` event to change labels based on generic, non-review pull request comments.
|
|
|
|
# Consider the trade off of how spammy it can be (one CI run per comment) and how useful it would be to have.
|
|
|
|
# Consider alternatives to `issue_comment`.
|
|
|
|
on:
|
|
|
|
pull_request_target:
|
|
|
|
types: [opened, reopened, converted_to_draft, ready_for_review, synchronize, edited, review_requested, closed]
|
|
|
|
pull_request_review:
|
|
|
|
types: [submitted, edited, dismissed]
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
label_pull_request:
|
|
|
|
runs-on: ubuntu-22.04
|
|
|
|
if: always() && github.repository == 'SerenityOS/serenity'
|
|
|
|
|
|
|
|
steps:
|
2023-09-11 01:51:11 +00:00
|
|
|
- uses: actions/checkout@v4
|
2022-10-14 22:07:52 +00:00
|
|
|
|
|
|
|
- name: Label pull request
|
|
|
|
uses: actions/github-script@v6
|
|
|
|
with:
|
|
|
|
script: |
|
|
|
|
const script = require('./Meta/label-pull-requests.js')
|
|
|
|
script({github, context})
|