Xavier Morel 3b28d7801d [IMP] runbot_merge: be more optimistic about PR mergeability ... If we can't stage a PR, rather than immediately put them in error wait until they were the first we tried staging, otherwise they might have been conflicting with the previous batch which ultimately won't be merged for other reason and they would have worked as part of the next batch. Note: this commit will lead to false negatives because it's batch-based rather than repo-based, so if the first batch only affects repo A and the second batch only affects repo B, if the second batch triggers a merge error it should be rejected immediately (as it's applied on a "pristine" repo B) but this change will just bump it to the next staging. fixes #209		2020-10-02 15:28:36 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: be more optimistic about PR mergeability	2020-10-02 15:28:36 +02:00
res_partner.py	[ADD] runbot_merge: allow overriding statuses	2020-07-14 13:34:05 +02:00