perf(repos): serialize repository list refreshes#524

beruro wants to merge 2 commits into

junyu/rpc-performance-closureorg2AI/ORG2:junyu/rpc-performance-closurefrom

perf/repo-list-coordinationorg2AI/ORG2:perf/repo-list-coordinationCopy head branch name to clipboard