chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdb792b) | patch
api: Loose ops: Make a loose conflicted op generate a Server update
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 16:31:53 +0000 (17:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 18:30:33 +0000 (19:30 +0100)
commit737d033b84cf466e3d35c4ec5cda19b4234c731e
tree336a34c3ab5cf2aafd14ec8c084fd68fdc90ca90tree | snapshot
parentfdb792bc4f5a3b13413ec40c847083c0043435fdcommit | diff
api: Loose ops: Make a loose conflicted op generate a Server update

As according to the PROTOCOL.md.  This is no longer a client update,
and the client can't really reconcile it.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
daemon/api.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.