mirror of
https://github.com/odoo/runbot.git
synced 2025-03-23 11:25:47 +07:00
f3dd3e6fde
Having the staged and merged heads via an easy to reach endpoint is nice, but having *just* the hashes is not as it requires basically exhaustively checking commits against repos to see which is where. That's annoying. Make the head serializations a map of repository to commit hash. That's a lot more convenient. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| dashboard.py | ||
| reviewer_provisioning.py | ||