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.