What problem would this solve?

Users who frequently work across multiple repositories must currently navigate back to the dashboard, organization page, or repository list to switch repositories.

This can become cumbersome when working across many repositories, requiring multiple clicks and page transitions just to change context. GitHub addresses this with a repository switcher in the repository header, allowing users to quickly jump between repositories without leaving their current page.

What do you propose?

Add a repository switcher dropdown to the repository header, positioned adjacent to the repository name.

The repository switcher would:

• Allow users to quickly navigate to other repositories they have access to
• Support searching and filtering repositories by name
• Be accessible from any repository page
• Optionally prioritize:
  • Recently visited repositories
  • Starred repositories
  • Repositories within the same organization

This would provide a faster and more convenient way to switch repositories, especially for users managing or contributing to a large number of projects.

What do you propose?

Add a repository switcher dropdown to the repository header, similar to GitHub's repository switcher.

The dropdown would be displayed adjacent to the repository name and allow users to quickly navigate to other repositories without leaving the current page.

Suggested functionality:

• Display repositories the user has access to
• Support searching repositories by name
• Allow direct navigation to a selected repository
• Be available from any repository page

Optionally, the list could prioritize recently visited repositories or repositories within the same organization.