Draft: Yet another Implementation of an organization unit tree #671
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This workflow checks open PRs for merge conflicts and labels them when conflicts are found | |
name: Check for merge conflicts | |
# Run whenever the "main" branch is updated | |
# NOTE: This means merge conflicts are only checked for when a PR is merged to main. | |
on: | |
push: | |
branches: [ main ] | |
# So that the `conflict_label_name` is removed if conflicts are resolved, | |
# we allow this to run for `pull_request_target` so that github secrets are available. | |
pull_request_target: | |
types: [ synchronize ] | |
permissions: {} | |
jobs: | |
triage: | |
# Ensure this job never runs on forked repos. It's only executed for 'dspace/dspace' | |
if: github.repository == 'dspace/dspace' | |
runs-on: ubuntu-latest | |
permissions: | |
pull-requests: write | |
steps: | |
# See: https://github.com/prince-chrismc/label-merge-conflicts-action | |
- name: Auto-label PRs with merge conflicts | |
uses: prince-chrismc/label-merge-conflicts-action@v2 | |
# Add "merge conflict" label if a merge conflict is detected. Remove it when resolved. | |
# Note, the authentication token is created automatically | |
# See: https://docs.github.com/en/actions/configuring-and-managing-workflows/authenticating-with-the-github_token | |
with: | |
conflict_label_name: 'merge conflict' | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
conflict_comment: | | |
Hi @${author}, | |
Conflicts have been detected against the base branch. | |
Please [resolve these conflicts](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/addressing-merge-conflicts/about-merge-conflicts) as soon as you can. Thanks! |