Xavier Morel c93ce7c2c2 [FIX] runbot_merge: blocked flag false positive ... The "blocked" computation would not take branch targets in account, so PRs with the same label targeting *different branches* (possible if somewhat rare due to our naming conventions) could block one another, despite really being unrelated. Also fix up some messages: * if a PR is blocked due to having no merge method, it should say that, not "has no merge" (no merge what?) * format un-managed branches as `$repo:$branch` in logging messages, `$repo#$thing` is for issues / PRs and `$branch` alone can be very unhelpful Closes #407		2020-10-02 15:28:36 +02:00
..
__init__.py	[FIX] runbot_merge: blocked flag false positive	2020-10-02 15:28:36 +02:00
dashboard.py	[ADD] runbot_merge: staging history per branch	2019-08-21 14:15:10 +02:00
reviewer_provisioning.py	[IMP] runbot_merge: make review rights repo-dependent	2020-02-11 08:07:57 +01:00