-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Feature: assign author and comment on PR if a merge conflict occurs after a correct pr is merged #64
Comments
Hopefully Github will trigger an event when a merge conflict occurs. If it's the case this should be quiet straightforward to implement as it follow the same login as in #58 |
Unfortunately Github doesn't seem to trigger any events when a PR has a merge conflict. The rule merge-conflict is triggered by the event: pull request closed
|
changing time estimate to 4h. I've already spend 1h looking for a github event when a merge conflict occurs (doesn't exist). Compare to the other rules implemented so far, this rule require a bit more logic on the backend (fetching all the open PRs, checking for errors on all these PRs, reporting for erorr for all the PRs). |
Unfortunately a github app doesn't seem to have the right to remove reviewers when a PR has some merge conlflicts:
However I don't think this is a big blocker as we already remove the assignees. |
myapp has been removed, I'll have a look if I can reproduce the error |
The merge conflict can only be checked when a PR is merged:
Agree that it would be great to have a more dynamic check. I think this will be a similar rule but the trigger is different. We need a rule that is trigger when a PR is created/opened also, I'll create an issue for that, thanks for testing the rule 👍 |
Waiting on #118 (comment) |
@SimonLab dwylbot has not reported a merge conflict here: dwyl/dwylbot-test#1 |
@markwilliamfirth I believe dwylbot did not report a merge conflict due to @SimonLab's comment #64 (comment) . We only check for a merge conflicts when a (different) PR is merged. |
Replaced by #64 |
When a PR has "awaiting-review" & merge conflict then remove awaiting review label, add "resolving-merge-conflict" label, assign the author of the PR and add comment on the issue with "@username before proceeding with review, please resolve the merge conflict and then reassign."
The text was updated successfully, but these errors were encountered: