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