Does `repository.default-local-path` need to exist if I am not storing repositories on the web server?