Hi @wooden-umbrella-84098, @elegant-branch-54423, @breezy-kilobyte-39430, In our SaaS platform, we currently use the GitHub API endpoint /user/installations/{installation_id}/repositories to retrieve repositories. However, based on the GitHub API documentation, this endpoint does not support filtering by owner_type (e.g., user vs. organization repositories) or by repository_name (such as locating only .openhands repositories within GitHub organizations). As a result, the only way to differentiate user-level and organization-level microagent repositories is to fetch the complete repository list and then apply filtering on the client side. Unfortunately, this approach undermines the usefulness of pagination, which we currently support. To address this, I propose removing the separate tabs on the microagent management page. Instead, we can display user-level, organization-level, and other repositories together in a single list. Users would then rely on the search box to quickly locate the repositories they wish to work with. I’d appreciate your feedback on this suggestion. Thank you! thankyou

it wouldn't be an exact filter but it'd probably just return the right repos, and we can do a little client-side filtering to get rid of noise