Correct device repo naming