Xavier Morel f23fb2a35b [FIX] runbot_merge: notification-via-deployment ... Previous version incorrectly browsed the PR *number* (rather than ID) so at best it would do nothing and at worst it might go and notify the wrong PR entirely.		2019-11-25 11:29:45 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: notification-via-deployment	2019-11-25 11:29:45 +01:00
res_partner.py	[IMP] runbot_merge: don't quote signoff	2019-03-04 13:17:10 +01:00