-
Notifications
You must be signed in to change notification settings - Fork 7
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
Conflict resolution #725
Comments
For the filesystem API, I believe the way that worked before is that you would fix up "the" file however you liked, and then delete all the relevant conflict-marker files. (On a local scan, we could notice this situation: the database says "foo" is conflicted, but there are [no longer] any conflict-markers for it -- so we take all the conflicting remotes, produce a new Snapshot with them as parents etc etc) |
The HTTP API design is somewhat easier: we make an endpoint that declares "here is a resolution for the conflict on We could introduce more args (or a different API) extension in the future to allow a more-complex resolution (e.g. "here are the bytes that constitute the resolution"). |
Currently, it is possible to detect and produce conflicts. These produce a database entry, are listed by the API and make "conflict" files in the filesystem.
There is not an API to resolve these conflicts. We likely need two:
See also #102
The text was updated successfully, but these errors were encountered: