mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 23:45:44 +07:00
![]() The notification is both noise and confusing: we're telling the author (and reviewer, and anyone else subscribed) that they need to merge a merged PR. Fixes #855 |
||
---|---|---|
.. | ||
__init__.py | ||
forwardport.py | ||
project_freeze.py | ||
project.py |