DEV Community

Jürgen Hermann
Jürgen Hermann

Posted on

Settings · Integrations: Add ‘fork’ filter

Would be nice if there were a checkbox or something to leave forked repos out of the list (the “Pin a few of your GitHub repos to your profile” one).

Top comments (1)

Collapse
 
rhymes profile image
rhymes

Hi Jürgen, I think there Github repo list al ready shows if something is a origin project or a fork. Though this enhancement might especially be useful for users that have lots of repos in their account...

Would it be possible for you to add a formal feature request to the Github repo?

github.com/thepracticaldev/dev.to/...

Thank you!