Bors now reports merge conflicts on PRs. One remaining functionality from homu is to also attach a label to the PR that states that there is a conflict. This should use the existing machinery for removing/adding label(s) to a PR when some event happens.
Corresponding homu code: