proper repo urls