Fix the total number of members on the repo info page
This commit basically ports the fix from Ryan Lerch in
56c765f85c7944f7eaad1569f47b89df6571eb7f to the srcfpo theme
so both themes show the correct number of members on a project.
Fixes https://pagure.io/pagure/issue/4225
Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>