From 416abf4ec7ce5a75df3e765aa730ebde730bf14e Mon Sep 17 00:00:00 2001 From: Thomas Leplus Date: Sun, 8 Nov 2026 10:31:32 +0100 Subject: [PATCH] ci(update-prs): remove workflow Branches no longer need to be up to date before merging, so updating PR branches only added merge commits and stopped Dependabot from maintaining its PRs. --- .github/workflows/update-prs.yml | 46 -------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 .github/workflows/update-prs.yml diff --git a/.github/workflows/update-prs.yml b/.github/workflows/update-prs.yml deleted file mode 100644 index 42108007..00000000 --- a/.github/workflows/update-prs.yml +++ /dev/null @@ -1,46 +0,0 @@ ---- -name: Update PRs - -on: - push: - schedule: - - cron: "0 0 * * *" - workflow_dispatch: - -permissions: {} - -jobs: - update-prs: - if: startsWith(github.ref, 'refs/heads/') - permissions: - # Required to update the PR - pull-requests: write - # Required to update the PR branch - contents: write - runs-on: ubuntu-latest - steps: - - name: Update Pull Requests - uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0 - with: - script: | - const opts = github.rest.pulls.list.endpoint.merge({ - owner: context.repo.owner, - repo: context.repo.repo, - state: 'open', - base: context.ref.replace('refs/heads/', ''), - }) - const prs = await github.paginate(opts) - for (const pr of prs) { - core.debug(JSON.stringify(pr)) - core.info(`Updating PR #${pr.number}`) - github.rest.pulls.updateBranch({ - owner: context.repo.owner, - repo: context.repo.repo, - pull_number: pr.number, - }).then(function(result) { - core.debug(JSON.stringify(result)) - core.info(JSON.stringify(result.data)) - }).catch(function(error) { - core.error(error) - }) - }