For now, we list repos that user have access to (even readonly). Using given info from API we try to merge cloned repos.
I thought it might be good to not put "unknown" repos to down and apply owner-count sort and instead try to fetch info via GraphQL (to make it fast) and sort with other repos.
However, it most probably will be annoying since user may be surprised that repo he didn't touch have higher priority then others (or even appears on top if globallyBoostRecentlyOpened is disabled)