get.porter.sh/porter@v1.3.0/.github/workflows/close-issues.yaml (about)

     1  # Close issues when the pull request was merged into the non-default branch
     2  # i.e. when we merge into the release/v1 branch, immediately close the issue
     3  
     4  name: Close Completed Issues
     5  
     6  on:
     7    pull_request_target:
     8      types: [closed]
     9      branches:
    10        - release/*
    11  
    12  jobs:
    13    closeIssueOnPrMergeTrigger:
    14      runs-on: ubuntu-latest
    15      steps:
    16        - name: Closes issues related to a merged pull request.
    17          uses: ldez/gha-mjolnir@v1.0.3
    18          env:
    19            GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}