diff options
| author | Nick Schonning <nschonni@gmail.com> | 2023-02-20 05:02:06 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-20 11:02:06 +0100 |
| commit | b65ca7acc9753227a5f3958c894d3ece9024dcd2 (patch) | |
| tree | 0bf8aae1898f2c8aee2b9e1fa0e6108a526f4c74 /.github | |
| parent | 59c8d43d94aa782848bf00f000512a04fca7c069 (diff) | |
Update rebase needed job settings (#23746)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/rebase-needed.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/rebase-needed.yml b/.github/workflows/rebase-needed.yml index a5899e0f0..99b224ec6 100644 --- a/.github/workflows/rebase-needed.yml +++ b/.github/workflows/rebase-needed.yml @@ -5,6 +5,9 @@ on: pull_request_target: types: [synchronize] +permissions: + pull-requests: write + jobs: label-rebase-needed: runs-on: ubuntu-latest @@ -19,4 +22,7 @@ jobs: with: dirtyLabel: 'rebase needed :construction:' repoToken: '${{ secrets.GITHUB_TOKEN }}' + commentOnClean: This pull request has resolved merge conflicts and is ready for review. commentOnDirty: This pull request has merge conflicts that must be resolved before it can be merged. + retryMax: 10 + continueOnMissingPermissions: false |