Currently, there's no notification for the developer/maintainer whenever there's a merge conflict in a PR.
Using this GitHub action, whenever there's a merge conflict in a PR due to some changes in the development tree, the PR will be labelled as "conflicting" and the action will post a comment on the PR saying that the conflict must be resolved.
Currently, there's no notification for the developer/maintainer whenever there's a merge conflict in a PR.
Using this GitHub action, whenever there's a merge conflict in a PR due to some changes in the development tree, the PR will be labelled as "conflicting" and the action will post a comment on the PR saying that the conflict must be resolved.
Ref: https://baywet.github.io/pull-request-conflict-github-workflow/