| # Copyright 2013 The Flutter Authors. All rights reserved. |
| # Use of this source code is governed by a BSD-style license that can be |
| # found in the LICENSE file. |
| |
| name: Delete Bot Branches |
| |
| on: |
| pull_request_target: |
| types: [closed] |
| branches: |
| - master |
| - 'flutter-*-candidate*' |
| |
| permissions: |
| contents: write |
| |
| jobs: |
| delete-branch: |
| runs-on: ubuntu-latest |
| if: | |
| github.event.pull_request.head.repo != null && |
| github.event.pull_request.head.repo.owner.login == 'flutteractionsbot' && |
| github.event.pull_request.head.ref != 'master' && |
| github.event.pull_request.head.ref != 'main' |
| steps: |
| - name: Delete branch |
| env: |
| GH_TOKEN: ${{ secrets.FLUTTERACTIONSBOT_CP_TOKEN }} |
| REPO_OWNER: ${{ github.event.pull_request.head.repo.owner.login }} |
| REPO_NAME: ${{ github.event.pull_request.head.repo.name }} |
| BRANCH_NAME: ${{ github.event.pull_request.head.ref }} |
| run: | |
| echo "Deleting branch $BRANCH_NAME from $REPO_OWNER/$REPO_NAME..." |
| gh api -X DELETE "/repos/$REPO_OWNER/$REPO_NAME/git/refs/heads/$BRANCH_NAME" |
