Xavier Morel c005561546 [FIX] runbot_merge: mistake in logging parameter ... When it updated tagging e82de3136b also incorrectly replaced a `pr` by `pr.display_name`, probably leftover from an attempt to update a callsite from `str(pr)` to `pr.display_name` which I missed when reverting that. Anyway at that section, `pr` is an integer (as it comes from an SQL query) not an object.		2020-04-17 08:09:01 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: mistake in logging parameter	2020-04-17 08:09:01 +02:00
res_partner.py	[IMP] runbot_merge: support for merging partners w/ github_login	2020-03-16 15:03:11 +01:00