mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 15:35:46 +07:00
![]() Git gc can last a few minutes, it's not a big deal since it's executed once a day but the transaction is kept idele during this time wich is not useful. This commit should help to avoid this. |
||
---|---|---|
.. | ||
builder.py | ||
leader.py | ||
tester.py | ||
tools.py |