Xavier Morel 1b5a05e40c [FIX] mergebot: improve handling of having missed PR updates ... 1. if we try to stage a PR and realize we'd stored / checked the wrong head, cancel the staging and notify the PR 2. provide a command to forcefully update pr heads (or at least check that a PR's head is up to date) Closes #241		2019-11-21 08:10:39 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] mergebot: improve handling of having missed PR updates	2019-11-21 08:10:39 +01:00
res_partner.py	[IMP] runbot_merge: don't quote signoff	2019-03-04 13:17:10 +01:00