mirror of
https://github.com/FreeTubeApp/FreeTube
synced 2024-12-04 08:01:16 +01:00
Auto PR Label Conflicts (#2185)
* Update README.md
* Revert "Update README.md"
This reverts commit 78805b973e
.
* Add files via upload
This commit is contained in:
parent
5b2f284abc
commit
02e7edeafd
22
.github/workflows/conflicts.yml
vendored
Normal file
22
.github/workflows/conflicts.yml
vendored
Normal file
@ -0,0 +1,22 @@
|
|||||||
|
name: "Conflicts"
|
||||||
|
on:
|
||||||
|
# So that PRs touching the same files as the push are updated
|
||||||
|
push:
|
||||||
|
# So that the `dirtyLabel` is removed if conflicts are resolve
|
||||||
|
# We recommend `pull_request_target` so that github secrets are available.
|
||||||
|
# In `pull_request` we wouldn't be able to change labels of fork PRs
|
||||||
|
pull_request_target:
|
||||||
|
types: [synchronize]
|
||||||
|
|
||||||
|
jobs:
|
||||||
|
main:
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
steps:
|
||||||
|
- name: check if prs are dirty
|
||||||
|
uses: eps1lon/actions-label-merge-conflict@releases/2.x
|
||||||
|
with:
|
||||||
|
dirtyLabel: "PR: merge conflicts / rebase needed"
|
||||||
|
removeOnDirtyLabel: "PR: waiting for review"
|
||||||
|
repoToken: "${{ secrets.GITHUB_TOKEN }}"
|
||||||
|
commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
|
||||||
|
commentOnClean: "Conflicts have been resolved. A maintainer will review the pull request shortly."
|
Loading…
Reference in New Issue
Block a user