Xavier Morel 08f73ea3d3 [FIX] runbot_merge: convert priority field to a regular integer ... In 13.0, the value of a selection field can't be an integer anymore.		2020-01-13 08:43:57 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: convert priority field to a regular integer	2020-01-13 08:43:57 +01:00
res_partner.py	[FIX] runbot_merge: provide explicit labels on fields	2020-01-13 08:43:10 +01:00