Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Support a filter option on the repository list while adding repos #465
This is how the GitHub repository list page looks:
There are 3 different ways to filter the list:
When I'm setting up Dependabot, I don't care so much about the forks as I do about my personal repositories. Having a way to filter so I can see my public/private owned repositories first will let me setup Dependabot much faster across the org/user account.
This is the corresponding Dependabot page that needs filtering: