mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 15:35:46 +07:00
![]() Previously it would count the number of source PRs with outstanding forward ports, which is not the count from the home page so that was confusing. Also add counts next to the groups, so teams can be identified at a glance. And finally outline the current user in the list, so they can find themselves faster when they're not one of the top entries. |
||
---|---|---|
.. | ||
changelog | ||
data | ||
migrations | ||
models | ||
tests | ||
__init__.py | ||
__manifest__.py | ||
controllers.py |