repc
repc copied to clipboard
push/pull timeout should be configurable
It defaults to 10s: https://github.com/rocicorp/repc/blob/ff452fd4a4a733b2bed623dad483d6d7716fc45c/src/fetch/mod.rs#L1