}
    }

    private static List<String> filesFromMerge(String commit) throws IOException, InterruptedException, ExecutionException {
        // Git revision range syntax is part of git, not the shell; pass as-is.
        return getStdoutLines(new String[] {"git", "diff", "--name-only", commit + "^1.." + commit});
    }

labels.design_edit_button=Editar
labels.design_download_button=Descargar
labels.design_delete_button=Eliminar
labels.design_use_default_button=Usar por defecto
labels.design_title_edit_content=Ver archivo de edición de página
labels.design_button_update=Actualizar
labels.design_button_back=Volver
labels.data_crawling_configuration=Rastreo de almacén de datos
labels.data_crawling_title_details=Configuración de rastreo de almacén de datos