mirror of
https://github.com/odoo/runbot.git
synced 2025-03-19 09:25:46 +07:00
![]() It's a waste to lose the entire staging if it's only a short blip / delay thing, so retry multiple times. Add utility function to make backoff functions easier (though the UI is not great ATM). Also log the "left" parent of a merge commit (which should be the "base") when creating it, for additional post-mortem information. |
||
---|---|---|
.. | ||
__init__.py | ||
pull_requests.py | ||
res_partner.py |