mirror of
https://github.com/odoo/runbot.git
synced 2025-03-22 02:45:51 +07:00
652b1ff9ae
Was missing a logging message in the case where the current and sync'd head are identical, which seems to occur from time to time but can only be inferred (by seeing a sync event then nothing happening). Add a logging warning (because it's a strange situation) in order to explicitely note the issue. Also make the sync logging messages more regular for clarity. And add the delivery information (delivery id and user-agent) to event log, so it's more possible to report issues to github. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| dashboard.py | ||
| reviewer_provisioning.py | ||