search

automerge / automerge-repo

MIT License
458 stars 51 forks source link

feat: Add `Repo.flush` method #327

Closed mykola-vrmchk closed 6 months ago

mykola-vrmchk commented 6 months ago

Motivation

Currently, there is no way to know if auto merge Repo finished writing all updates to disk. In our use-case, we want to know when it is safe to shut down the process (e.g. CLI) to preserve all data on disk.

related https://github.com/automerge/automerge-repo/issues/264 related discord discussion

mykola-vrmchk commented 6 months ago

lgtm

@bijela-gora Could you, please, merge it, it is blocking us

bijela-gora commented 6 months ago

@mykola-vrmchk I have no such permissions. I reviewed your PR because it was interesting for me.