Revert "Removed duplicate repos"

This reverts commit c6fb4215469f418256dd006f1bb5ad81c8a83171.