This is a bit dated (a few months), but I figured I'd PR anyway in case it's valuable to the community. Back in August 2023, we forked this repository to add some real-time streaming as a precursor to what became https://github.com/paradedb/paradedb.
We've had the repo archived since then, and who knows perhaps this is of use to the community, so opening up here!
Hi there!
This is a bit dated (a few months), but I figured I'd PR anyway in case it's valuable to the community. Back in August 2023, we forked this repository to add some real-time streaming as a precursor to what became https://github.com/paradedb/paradedb.
We've had the repo archived since then, and who knows perhaps this is of use to the community, so opening up here!