diff options
author | Christian Mollekopf <chrigi_1@fastmail.fm> | 2017-05-12 18:57:07 +0200 |
---|---|---|
committer | Christian Mollekopf <chrigi_1@fastmail.fm> | 2017-05-12 18:57:07 +0200 |
commit | 256fe3fc561f1690e5c29640b9081e805ceb5532 (patch) | |
tree | 5bf46688b732b534eb30cec9620393f8c6eb487f /examples | |
parent | 58b9fa88198eecc224597e52d8bbd7f833fca63b (diff) | |
download | sink-256fe3fc561f1690e5c29640b9081e805ceb5532.tar.gz sink-256fe3fc561f1690e5c29640b9081e805ceb5532.zip |
Don't commit after every replayed revision
If we didn't actually do anything we just carry on.
Failing to commit is harmless in that case and committing for every
revision is rather expensive.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions