Xavier Morel 3b417b16a1 [FIX] runbot_merge: when looking for stageable PRs group by target ... This is more of a sanity check as it normally should not be a factor: labels generally contain the target name, and staging checks are performed per-target so we're not mixing multiple targets anyway. But let's say a third-party creates a fix-foo branch for A and a fix-foo branch for B, we want to ensure they're not considered batched together.		2020-02-11 09:49:39 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: when looking for stageable PRs group by target	2020-02-11 09:49:39 +01:00
res_partner.py	[FIX] runbot_merge: make github_login case insensitive	2020-02-11 09:17:52 +01:00