MerginMaps / MerginMaps/db-sync

Init: possible confusion if base+modified schemas already exist but local project dir doesn't

Abierto
#175 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

bug
Lenguaje dominante
Python
Estrellas
53
Forks
24
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

Seen the following case:

  • configuration file "base" and "modified" schemas already exist in the database
  • the project directory does not exist yet

In this scenario, db-sync will download the MM project at a particular version, but it does not check project ID first. This is a potential problem, because db-sync may try to download a project that is incompatible with the data already stored in the database - this can result in trying to fetch project at e.g. version 1234, but project may not even exist in such version, so the project download will fail.

The fix should be to check project ID before project's download, and fail with error if they do not match.

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Inspecciona el flujo de inicialización en el que db-sync descarga el proyecto de Mergin Maps y sigue cómo se leen de la base de datos los esquemas base y modificados existentes. Comprueba el ID del proyecto antes de la descarga; la tarea estará terminada cuando un ID incompatible produzca un error en lugar de intentar la descarga.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
postgresql, python
Área
databases
Tipo de issue
Error
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Estancado
Claridad
Bastante claro
Aptitud para principiantes
50/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.