Fix url for obtaining repository tool