Xavier Morel b699ea7f47 [FIX] runbot_merge: validate PRs on head update ... If a PR gets sync'd to a known-valid commit, it should be marked as valid rather than get in this weird state where it's merely open but github knows it passes CI. Fixes #72		2019-03-04 10:34:40 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: validate PRs on head update	2019-03-04 10:34:40 +01:00
res_partner.py	[ADD] runbot_merge: sign off commits by reviewer	2019-02-26 13:36:46 +01:00