Xavier Morel 5ec2c12454 [IMP] runbot_merge: split tagging cron out of main progress cron ... They're completely independent (or should be), and there's no reason for the tagging cron to extend the "lifetime" of the main cron's transaction (and thus extend the odds of racey behaviour).		2018-10-12 15:54:14 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: split tagging cron out of main progress cron	2018-10-12 15:54:14 +02:00
res_partner.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00