Increase PR Rebase job retries (#25926)
parent
90a68ac5b5
commit
020101b0a8
|
@ -23,5 +23,5 @@ jobs:
|
||||||
repoToken: '${{ secrets.GITHUB_TOKEN }}'
|
repoToken: '${{ secrets.GITHUB_TOKEN }}'
|
||||||
commentOnClean: This pull request has resolved merge conflicts and is ready for review.
|
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.
|
commentOnDirty: This pull request has merge conflicts that must be resolved before it can be merged.
|
||||||
retryMax: 10
|
retryMax: 30
|
||||||
continueOnMissingPermissions: false
|
continueOnMissingPermissions: false
|
||||||
|
|
Loading…
Reference in New Issue