Xavier Morel 2174d7da31 [IMP] runbot_merge: optimise edited event ... For the longest time Github's `change` key was borked when transitioning a description to and from empty. They fixed that during 2023, which I already saw and impacted on DC (xmo-odoo/dummy_central@1ebed9d418 and xmo-odoo/dummy_central@937e87c2a4) but this had yet to be taken in account by the mergebot. This is now done, the code is functionally reverted to what it was before I realised `changes` was hosed and moved off of it in 3da1874196. Fixes #743		2024-10-22 13:12:28 +02:00
..
__init__.py	[IMP] runbot_merge: optimise edited event	2024-10-22 13:12:28 +02:00
dashboard.py	[FIX] runbot_merge: don't show details of merged PR on GH	2024-08-05 15:18:19 +02:00
reviewer_provisioning.py	[FIX] runbot_merge: make provisioning more resilient	2023-06-21 14:26:19 +02:00