Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix conflicts between non-committed and external changes #2303

Open
manuelma opened this issue Sep 6, 2023 · 0 comments
Open

Fix conflicts between non-committed and external changes #2303

manuelma opened this issue Sep 6, 2023 · 0 comments
Assignees

Comments

@manuelma
Copy link
Collaborator

manuelma commented Sep 6, 2023

Re #2300

If the user presses the Refresh button in DB editor with non-committed changes, and there are external changes (already committed to the DB by somebody else in the meantime), then there might be conflicts.

We could either disable Refresh when there are uncommitted changes (as in master), or report the conflicts and let the user resolve them. I like the latter, but can be time consuming.

At the moment 0.8 always allows refreshing and just resolves conflicts automatically and silently favouring local changes. We could see how we are doing with time and priorities with 0.8 in the short-term and decide at that point?

@manuelma manuelma self-assigned this Sep 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant