mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 15:35:46 +07:00
![]() The incident of Feb 13/Feb 14 was that the branch update (`refs/heads/*:refs/heads/*`) failed, but the old message assumes those always succeed and its the retrieval of the head which fails. Don't make assumptions in the error message, and dump the error from git. |
||
---|---|---|
.. | ||
__init__.py | ||
forwardport.py | ||
project_freeze.py | ||
project.py |