github.com/Mrs4s/go-cqhttp@v1.2.0/.github/workflows/close_pr.yml (about)

     1  name: Check and Close Invalid PR
     2  
     3  on:
     4    pull_request_target:
     5      types: [opened, reopened]
     6  
     7  jobs:
     8    # This workflow closes invalid PR
     9    close_pr:
    10      # The type of runner that the job will run on
    11      runs-on: ubuntu-latest
    12      permissions: write-all
    13  
    14      # Steps represent a sequence of tasks that will be executed as part of the job
    15      steps:
    16        - name: Close PR if it is not pointed to dev branch
    17          if: github.event.pull_request.base.ref != 'dev'
    18          uses: superbrothers/close-pull-request@v3
    19          with:
    20            # Optional. Post a issue comment just before closing a pull request.
    21            comment: "Invalid PR to `non-dev` branch `${{ github.event.pull_request.base.ref }}`."