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

Migrate to server project ids #1969

Open
tomasMizera opened this issue Mar 4, 2022 · 2 comments
Open

Migrate to server project ids #1969

tomasMizera opened this issue Mar 4, 2022 · 2 comments
Labels
enhancement sync Integration with Mergin Maps backend

Comments

@tomasMizera
Copy link
Collaborator

Currently we are not using project IDs coming from server, but use our custom ids.
It will help us to detect orphaned projects / projects from different servers with the same name and deleted projects.

We need to figure out how to assign IDs to local projects created in Input

Related to #1008
@wonder-sk wonder-sk added the sync Integration with Mergin Maps backend label Jul 28, 2022
@PeterPetrik
Copy link
Contributor

related to #576

@PeterPetrik PeterPetrik mentioned this issue Oct 11, 2023
Merged
@tomasMizera
Copy link
Collaborator Author

Related #1008

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement sync Integration with Mergin Maps backend
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@wonder-sk @PeterPetrik @tomasMizera