Add workflow job to label PRs with conflicts #303
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
A purely take-it-or-leave-it PR, to add a tool that I find helpful in upstream repos. The workflow added by this PR will scan each open PR in the repo, after every change to the source or target branches, and check whether merge conflicts have appeared (or disappeared).
If conflicts are found, it will then both:
If prior conflicts have been resolved, it will:
It's a handy replacement for a feature GitHub should provide themselves, but inexplicably still do not.
IMPORTANT PREREQUISITE
This workflow will not work, unless the label it is configured to use is created manually before merging it.
As I said, the currently-configured label name is
conflicts
(all-lowercase), which is how the label should be created at https://github.com/pydot/pydot/labels (unless we decide to change it). Color is irrelevant, though I suggest#ff0000
red so that it stands out clearly in the PR list.