runbot/runbot_merge/controllers
Xavier Morel cc029c2891 [IMP] runbot_merge: add some logging to controllers
The closing or reopening of PRs was not logged at all, which can be
inconvenient when trying to find out why PRs are closed (or not) in
the backend.

Also leverage PR display_name improvements from
3ce3dd9569 for more regular PR names in
logs.
2019-10-14 10:09:48 +02:00
..
__init__.py [IMP] runbot_merge: add some logging to controllers 2019-10-14 10:09:48 +02:00
dashboard.py [ADD] runbot_merge: staging history per branch 2019-08-21 14:15:10 +02:00