public static @NotNull TextRevisionNumber convertToRevisionNumber(@NotNull Hash hash) {
    return new TextRevisionNumber(hash.asString(), hash.toShortString());
  }
public static @NotNull TextRevisionNumber convertToRevisionNumber(@NotNull Hash hash)