Use right repo for docker index