Xavier Morel 318e55337c [FIX] forwardport: count next to users should be the fwport ... 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.		2024-06-28 08:18:34 +02:00
..
crons.xml	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00
queues.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
security.xml	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00
views.xml	[FIX] forwardport: count next to users should be the fwport	2024-06-28 08:18:34 +02:00