manifest: Add missing proprietary repos