docs: private void alterMySqlCommitDateColumn() {
          ColumnType commitDateColType = getTypeOf(getCommitTableNameWithSchema(), "commit_date");
  
          if (commitDateColType.typeName.equals("TIMESTAMP") &&
              commitDateColType.precision == 19) {
              logger.info("migrating db schema from JaVers 3.9.2 to 3.9.3 (MySql only) ...");
              executeSQL("ALTER TABLE " + getCommitTableNameWithSchema() + " MODIFY commit_date TIMESTAMP(3)");
          }
      }