We'll upgrade our update_async() API so that it will automatically wait / batch multiple update requests. For example:
- If there's already an ongoing update, we'll delay this update request until the previous one done.
- If multiple update requests arrive before one ongoing update done, we'll deduplicate/batch these requests: only one need to be triggered after the previous one done.
Basically users can simply call update_async() API whenever there's a change, and we schedule the update in the optimized way.
❤️ Contributors, please refer to 📙Contributing Guide.
Unless the PR can be sent immediately (e.g. just a few lines of code), we recommend you to leave a comment on the issue like I'm working on it or Can I work on this issue? to avoid duplicating work. Our Discord server is always open and friendly.