diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-08 22:52:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-08 13:52:19 -0700 |
| commit | e76ae145cdcf725d7d7dd3922d819539a7dc0e22 (patch) | |
| tree | 1046c66be3d672e1c337d3f44370ddbc0fc23d58 /.github | |
| parent | 3d83a435f3d9108c6457d4058ba5262d0d72634e (diff) | |
Use newer version of update-pr-branch action. (#6315)
The CI action we use to update PRs that are ready to merge has been updated and now only considers the last review of every reviewer. It now allows to automatically update (and then merge) PRs where a reviewer first requested changes, and then accepted the PR. See adRise/update-pr-branch#11 for more details.
This PR bumps the version to the most recent one.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/update_pr.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/update_pr.yml b/.github/workflows/update_pr.yml index ae58b7a8e..eb7585e0e 100644 --- a/.github/workflows/update_pr.yml +++ b/.github/workflows/update_pr.yml @@ -9,7 +9,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Automatically update PR - uses: adRise/update-pr-branch@v0.4.0 + uses: adRise/update-pr-branch@v0.5.1 with: token: ${{ secrets.ACTION_USER_TOKEN }} base: 'master' |