mirror of
https://github.com/odoo/runbot.git
synced 2025-03-19 17:35:45 +07:00
![]() Use the proper / actual "is there any stageable PR" query to check if a PR is blocked as well, that way they shoudn't be diverging all the time even if it might make PR.blocked a bit more expensive. fixes #111 |
||
---|---|---|
.. | ||
__init__.py | ||
pull_requests.py | ||
res_partner.py |