Filter repositories by type #453

Closed
opened 2025-11-02 03:24:03 -06:00 by GiteaMirror · 2 comments
Owner

Originally created by @pgaskin on GitHub (Mar 9, 2017).

Originally assigned to: @puni9869 on GitHub.

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

Originally created by @pgaskin on GitHub (Mar 9, 2017). Originally assigned to: @puni9869 on GitHub. An option to filter the repositories (on user and explore pages) by type (mirror, repository, fork, private, public) would be useful.
GiteaMirror added the type/featureissue/confirmed labels 2025-11-02 03:24:03 -06:00
Author
Owner

@stale[bot] commented on GitHub (Feb 16, 2019):

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.

@stale[bot] commented on GitHub (Feb 16, 2019): 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.
Author
Owner

@thejavascriptman commented on GitHub (Jul 20, 2019):

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.

mockup

@thejavascriptman commented on GitHub (Jul 20, 2019): 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. ![mockup](https://user-images.githubusercontent.com/46071365/61579089-8ab44180-ab3b-11e9-8405-9b73ce587e02.png)
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#453