Fix fetching of device repos