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.

Sign up for GitHub

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

Jump to bottom

Document using custom geodiff working dir on server #505

Open
varmar05 opened this issue Sep 26, 2024 · 2 comments
Open

Document using custom geodiff working dir on server #505

varmar05 opened this issue Sep 26, 2024 · 2 comments
Assignees
@varmar05
Labels
cloud/server Mergin Maps Cloud or CE (server)

Comments

@varmar05
Copy link
Contributor

No description provided.

@varmar05 varmar05 added the cloud/server Mergin Maps Cloud or CE (server) label Sep 26, 2024
@varmar05 varmar05 self-assigned this Sep 26, 2024
@varmar05 varmar05 mentioned this issue Sep 26, 2024
Merged
@tomasMizera
Copy link
Contributor

Is this going to help people somehow? Can't we just have a reasonable default as was till now?

@varmar05
Copy link
Contributor Author

Is this going to help people somehow? Can't we just have a reasonable default as was till now?

The default is reasonable, and in that case users do not have to do anything. The problem is when they change it to something else - we have to sum up consequences :-)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@varmar05 varmar05

Labels
cloud/server Mergin Maps Cloud or CE (server)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tomasMizera @varmar05