runbot/runbot_merge/controllers
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 [FIX] runbot_merge: incorrectly logged PRs 2020-01-29 15:59:43 +01:00
dashboard.py [ADD] runbot_merge: staging history per branch 2019-08-21 14:15:10 +02:00
reviewer_provisioning.py [ADD] runbot_merge: automatic reviewer de-provisioning 2020-01-24 13:28:18 +01:00