Show contributors in repository summary (`.ui.segment.sub-menu`)

[alexanderadam]

Description

It would be nice to see repository size (similar like github-repo-size does it) and the amount of contributors:

Maybe even the amount of tags could be helpful for some.

PS: GitLab does this as well but visually differently:

PPS: I thought there was already an open issue for this but I'm unable to find it‽

[oscarlofwenhamn]

Agreed, this would make it easier for both users and administrators to find causes of large repositories as well, in order to keep repo sizes down.

[sapk]

I will add the repo size in #7833. The PR currently only add it in the settings of repo.
For admin purpose, you allready see the size of every repos in the administration pages

[alexanderadam]

I will add the repo size in #7833

Wow, awesome! Thank you!

[IzzySoft]

Looking forward to the contributors number (and list?), too – really miss that! Ideally with a graph – but that would be #847 then 😉