[Feature Request] Notify on Merge Conflicts

[haghabozorgi]

Currently probot-auto-merge does not support merge conflicts. If a merge conflict occurs, it is noted in the PR status and probot's status check shows the PR has merge conflicts, but no notification is received by members of the organization. It would be a great if probot would leave a message on the PR when there is a merge conflict and remove the automerge label. The message on the PR would be added by probot with something like,
"This PR has a merge conflict and the automerge label has been removed. Please resolve conflict and re-add automerge label."

This would allow users to receive a notification about merge conflicts so they could be addressed in a timely fashion, and merge conflicts would be brought to the attention of users quicker. Please let me know if you need any more info from me. Thanks for your efforts on this project.

[rogerluan]

For this, I suggest (now GitHub's) Pull Reminders bot:

This specific notification was triggered on Slack. Not sure if it can deliver notifications via GitHub Notifications, but maybe? :)