Revert "Missing repos?"

This reverts commit 240390d78f82967777abefd9d194b84e35e6fb7a.