Change "show more repos" to extend the repo list

[lafriks]

Replaces #8230

[zeripath]

I think paging would be better, the repo list could be very very large indeed.

[lafriks]

I don't think paging would best option here as this is more for fast access to repos not for browsing

[silverwind]

Maybe just always extend it to the whole rendered page height? Extra scrollbars seem unneccesary given that there is almost always space.

[silverwind]

I also have a UX concern. Say my mouse is over the repo list but my intention is to scroll the whole page. Now I'd be inadvertently scrolling the repo list.

[lafriks]

@silverwind this is tricky from UX point in both ways :) If you do not add scrollbar you will always have to scroll up to access tabs, search box etc

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 months. Thank you for your contributions.

[davydov-vyacheslav]

unstale (?)

[zeripath]

Obsoleted by #11321