2022-12-09 00:37:13 -05:00
|
|
|
name: PR Needs Rebase
|
|
|
|
|
|
|
|
|
|
on:
|
2023-07-11 13:40:51 -04:00
|
|
|
schedule:
|
2023-07-11 13:52:37 -04:00
|
|
|
- cron: '0 * * * *'
|
2022-12-09 00:37:13 -05:00
|
|
|
|
2023-02-20 05:02:06 -05:00
|
|
|
permissions:
|
|
|
|
|
pull-requests: write
|
|
|
|
|
|
2022-12-09 00:37:13 -05:00
|
|
|
jobs:
|
|
|
|
|
label-rebase-needed:
|
|
|
|
|
runs-on: ubuntu-latest
|
2024-08-13 17:37:26 -04:00
|
|
|
if: github.repository == 'mastodon/mastodon'
|
2023-02-17 22:25:31 -05:00
|
|
|
|
|
|
|
|
concurrency:
|
2023-02-18 00:56:16 -05:00
|
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
2023-02-17 22:25:31 -05:00
|
|
|
cancel-in-progress: true
|
|
|
|
|
|
2022-12-09 00:37:13 -05:00
|
|
|
steps:
|
|
|
|
|
- name: Check for merge conflicts
|
2024-06-13 10:37:49 -04:00
|
|
|
uses: eps1lon/actions-label-merge-conflict@v3
|
2022-12-09 00:37:13 -05:00
|
|
|
with:
|
|
|
|
|
dirtyLabel: 'rebase needed :construction:'
|
|
|
|
|
repoToken: '${{ secrets.GITHUB_TOKEN }}'
|
2023-02-20 05:02:06 -05:00
|
|
|
commentOnClean: This pull request has resolved merge conflicts and is ready for review.
|
2022-12-09 00:37:13 -05:00
|
|
|
commentOnDirty: This pull request has merge conflicts that must be resolved before it can be merged.
|
2023-07-17 10:10:43 -04:00
|
|
|
retryMax: 30
|
2023-02-20 05:02:06 -05:00
|
|
|
continueOnMissingPermissions: false
|
