Convert ddk-fpga, ddk-hardware to 'repo'