fixed the mine repo's url