From d905cec072eaef56d7b623df31942bcf045f2fb6 Mon Sep 17 00:00:00 2001
From: Thomas Leplus <thomasleplus@users.noreply.github.com>
Date: Mon, 6 May 2024 23:42:43 -0300
Subject: [PATCH] Automatically update PR branches

---
 .github/workflows/update-prs.yml | 39 ++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 .github/workflows/update-prs.yml

diff --git a/.github/workflows/update-prs.yml b/.github/workflows/update-prs.yml
new file mode 100644
index 0000000..936de19
--- /dev/null
+++ b/.github/workflows/update-prs.yml
@@ -0,0 +1,39 @@
+---
+name: Update PRs
+
+on:
+  push:
+  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.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.info(JSON.stringify(result.data))
+              }).catch(function(error) {
+                core.error(error)
+              })
+            }