mirror of
https://github.com/odoo/runbot.git
synced 2025-03-19 17:35:45 +07:00
![]() * avoid fetching PRs for un-managed branches if we know up-front * avoid processing comments with no commands (avoids fetching the corresponding PR which we know nothing about yet and which may or may not be for a managed branch) |
||
---|---|---|
.. | ||
__init__.py | ||
pull_requests.py | ||
res_partner.py |