Skip to content

Merge pull request #938 from jeanpierm/fix-boxer-href #1420

Merge pull request #938 from jeanpierm/fix-boxer-href

Merge pull request #938 from jeanpierm/fix-boxer-href #1420

Workflow file for this run

name: "Tag PRs with merge 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: "conflictos"
removeOnDirtyLabel: "conflictos"
repoToken: "${{ secrets.GITHUB_TOKEN }}"
commentOnDirty: "⚠️ Esta Pull Request tiene conflictos. Por favor, resuelvelos antes de que podamos evaluar los cambios."
commentOnClean: "✅ ¡Los conflictos han sido resuletos! Un colaborador revisará pronto la Pull Request."