We should have a repository list that includes important external repositories
Many developers like using github or personal repository
Many developers' github repositories are nontrivial to find.
Let's index them on our website or wiki somewhere?