This may be out of scope for your PR, but personally, for my use cases, the ideal feature would be “reload all documents that have changed on disk” — to avoid wasting time on reloading documents that have not actually changed.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.