Xavier Morel 1b9bd67776 [FIX] runbot_merge: incorrectly logged PRs ... A while back I implemented name_get/display_name to print PRs using the canonical github format (owner/repo#number), however looks like some of the logging calls were still using bespoke formatting.		2020-01-29 15:59:43 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: incorrectly logged PRs	2020-01-29 15:59:43 +01:00
res_partner.py	[FIX] runbot_merge: provide explicit labels on fields	2020-01-13 08:43:10 +01:00