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?