String () { String path = getNamedConfig("paths", "default:pushurl"); if (path == null) { path = getNamedConfig("paths", "default-push"); } if (path == null) { path = getNamedConfig("paths", "default"); } return path; }