Xavier Morel c702fecda1 [FIX] runbot_merge: updating PRs in repos without required statuses ... The PR creation had been fixed to always validate even without a commit found (in case there was no need for a commit), but the update of a PR in such a situation was not tested, and thus naturally did not work because why would it work if it wasn't tested? Also remove the conditional skip on updating a PR to a new head.		2020-02-07 16:11:12 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: updating PRs in repos without required statuses	2020-02-07 16:11:12 +01:00
res_partner.py	[FIX] runbot_merge: provide explicit labels on fields	2020-01-13 08:43:10 +01:00