From e0de027e3793dbea0669fdfffd8c6cb1f3ae13a0 Mon Sep 17 00:00:00 2001 From: Endkind Date: Sun, 15 Jun 2025 23:10:23 +0200 Subject: [PATCH] =?UTF-8?q?Optimiere=20Workflow=20zum=20L=C3=B6schen=20von?= =?UTF-8?q?=20zusammengef=C3=BChrten=20Branches,=20um=20auf=20geschlossene?= =?UTF-8?q?=20Pull-Requests=20zu=20reagieren=20und=20die=20Logik=20zur=20B?= =?UTF-8?q?ranch-L=C3=B6schung=20zu=20vereinfachen.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .github/workflows/delete-merged-branch.yml | 30 +++++----------------- 1 file changed, 7 insertions(+), 23 deletions(-) diff --git a/.github/workflows/delete-merged-branch.yml b/.github/workflows/delete-merged-branch.yml index d45e403..fec70bb 100644 --- a/.github/workflows/delete-merged-branch.yml +++ b/.github/workflows/delete-merged-branch.yml @@ -1,37 +1,21 @@ name: Delete merged branch on: - push: - branches: - - main - -permissions: - contents: write + pull_request: + types: + - closed jobs: - delete-merged-branch: + delete-branch: + if: github.event.pull_request.merged == true && github.event.pull_request.base.ref == 'master' runs-on: ubuntu-latest steps: - - name: Checkout repo - uses: actions/checkout@v4 - - - name: Get merged PR - id: pr - uses: octokit/request-action@v2.x - with: - route: GET /repos/${{ github.repository }}/commits/${{ github.sha }}/pulls - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - - name: Delete merged branch - if: steps.pr.outputs.data != '[]' run: | - branch=$(echo '${{ steps.pr.outputs.data }}' | jq -r '.[0].head.ref') + branch="${{ github.event.pull_request.head.ref }}" repo="${{ github.repository }}" token="${{ secrets.GITHUB_TOKEN }}" - - echo "Deleting branch: $branch" - if [[ "$branch" != "main" && "$branch" != "master" ]]; then + if [[ "$branch" != "master" ]]; then curl -s -X DELETE \ -H "Authorization: Bearer $token" \ -H "Accept: application/vnd.github+json" \