xmo-odoo cfc7478fcf [FIX] runbot_merge: PR splits should be updated on PR state change ... On a PR being updated, closed or unreviewed, if it is part of an active staging that staging would get cancelled (yay). However, if the PR was part of a pending *split*, then the split would *not* get cancelled / updated (to remove the PR from it), and the PR could go on to get staged as if everything were right in the world which is an issue. It doesn't look like it actually happened (at least I got no echo of it), but it almost did at least once. fixes #160		2019-07-31 09:20:02 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: PR splits should be updated on PR state change	2019-07-31 09:20:02 +02:00
res_partner.py	[IMP] runbot_merge: don't quote signoff	2019-03-04 13:17:10 +01:00