Filter repositories by type

[pgaskin]

An option to filter the repositories (on user and explore pages) by type (mirror, repository, fork, private, public) would be useful.

[stale]

This issue 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 weeks. Thank you for your contributions.

[thejavascriptman]

I was just able to make a mockup which should address this issue and make #1318 a duplicate if implemented, hope it helps someone who wants to implement this feature.