From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 11 Mar 2021 00:09:27 +0000 (-0800)
Subject: Add GitHub action to automatically update approved PRs. (#6114)
X-Git-Tag: cvc5-1.0.0~2107
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e418b00f5e823eb8bcb10cb5c39f8a896921b33f;p=cvc5.git

Add GitHub action to automatically update approved PRs. (#6114)
---

diff --git a/.github/workflows/update_pr.yml b/.github/workflows/update_pr.yml
new file mode 100644
index 000000000..ae58b7a8e
--- /dev/null
+++ b/.github/workflows/update_pr.yml
@@ -0,0 +1,16 @@
+name: PR update
+
+on:
+  push:
+    branches:
+      - 'master'
+jobs:
+  autoupdate:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Automatically update PR
+        uses: adRise/update-pr-branch@v0.4.0
+        with:
+          token: ${{ secrets.ACTION_USER_TOKEN }}
+          base: 'master'
+          required_approval_count: 1