From fd92c25c51a831ab06b27f08f2e90de2370850d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Brunner?= Date: Wed, 1 Oct 2025 09:16:26 +0200 Subject: [PATCH] CI updates This is done by the automated script named upgrade-ci-2025 --- .../workflows/pull-request-automation.yaml | 52 ------------------- 1 file changed, 52 deletions(-) delete mode 100644 .github/workflows/pull-request-automation.yaml diff --git a/.github/workflows/pull-request-automation.yaml b/.github/workflows/pull-request-automation.yaml deleted file mode 100644 index d0927a77..00000000 --- a/.github/workflows/pull-request-automation.yaml +++ /dev/null @@ -1,52 +0,0 @@ -name: Auto reviews, merge and close pull requests - -on: - pull_request: - types: - - opened - - reopened -jobs: - auto-merge: - name: Auto reviews pull requests from bots - runs-on: ubuntu-24.04 - timeout-minutes: 5 - - steps: - - name: Print event - run: echo "${GITHUB}" | jq - env: - GITHUB: ${{ toJson(github) }} - - name: Print context - uses: actions/github-script@v7 - with: - script: |- - console.log(context); - - name: Auto reviews GHCI updates - uses: actions/github-script@v7 - with: - script: |- - github.rest.pulls.createReview({ - owner: context.repo.owner, - repo: context.repo.repo, - pull_number: context.payload.pull_request.number, - event: 'APPROVE', - }) - if: |- - startsWith(github.head_ref, 'ghci/audit/') - && (github.event.pull_request.user.login == 'geo-ghci-test[bot]' - || github.event.pull_request.user.login == 'geo-ghci-int[bot]' - || github.event.pull_request.user.login == 'geo-ghci[bot]') - - name: Auto reviews Renovate updates - uses: actions/github-script@v7 - with: - script: |- - github.rest.pulls.createReview({ - owner: context.repo.owner, - repo: context.repo.repo, - pull_number: context.payload.pull_request.number, - event: 'APPROVE', - }) - if: |- - github.event.pull_request.user.login == 'renovate[bot]' - permissions: - pull-requests: write