Skip to content

Update PRs

Update PRs #1815

Workflow file for this run

---
name: Update PRs
on:
push:
schedule:
- cron: "0 * * * *"
workflow_dispatch:
permissions:
pull-requests: write
contents: write
jobs:
update:
if: startsWith(github.ref, 'refs/heads/')
runs-on: ubuntu-latest
steps:
- name: Update Pull Requests
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
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)
})
}