mirror of
https://github.com/odoo/runbot.git
synced 2025-03-16 16:05:42 +07:00
c13128a229
When updating github statuses, it happens that we face a "Bad gateway" from github. In that case, the error is logged in the runbot logs and that's it. As a consequence, when the runbot_merge is waiting status for the staging branch and this kind of error occurs, the runbot_merge timeouts and the users vainly search the reason. With this commit, the runbot tries to update the status at least twice. If it fails, an INFO message is logged on the build itself. |
||
|---|---|---|
| .. | ||
| controllers | ||
| data | ||
| migrations | ||
| models | ||
| security | ||
| static/src | ||
| templates | ||
| tests | ||
| views | ||
| __init__.py | ||
| __manifest__.py | ||
| common.py | ||
| container.py | ||