Merge pull request #902 from zoredache/sort_repositories}
add a ksort, so that repository index is ordered

Klaus Silveira authored on 07/29/2022 19:34:52 • GitHub committed on 07/29/2022 19:34:52