Merge branch 'main' into WilliamDavidHarrison-patch-1

This commit is contained in:
William Harrison authored and GitHub committed 2023-02-18 07:30:15 +08:00
commit 4e06eac02b
2 files changed
+15 -22

No files matched your search

-16
View File
@@ -1,16 +0,0 @@
name: Labeler
on:
- pull_request_target
jobs:
triage:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true
@@ -1,13 +1,22 @@
name: Star
name: PR
on:
pull_request_target:
types: [opened, synchronize, reopened, ready_for_review, review_requested]
branches: [main]
- pull_request_target
jobs:
check-user-star:
name: Check
label:
name: Label
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true
check-star:
name: Check Star
runs-on: ubuntu-latest
steps:
- { uses: gacts/is-stargazer@v1, with: { username: "${{ github.event.pull_request.user.login }}" }, id: check-star }