Revert "Remove duplicate repos"

This reverts commit 4a49e2f5c7817f1ff194adda6221361e4a0daa14.