redis

2024-10-11 Redis pipelines to the rescue