Johan Walles

@dominikh you started this then abandoned it. What did you run into that made you decide to abandon your implementation? If anybody else wants to try this it would be...

zdharma has moved here, the old project seems to have been taken down: https://github.com/zdharma-continuum/fast-syntax-highlighting

Regarding operations retrying, in the best of all worlds, shouldn't that be done in the database driver? Either by [patching it in Jedis](https://github.com/redis/jedis), or by [replacing Jedis with some other...

I don't have a concrete use case yet, so I can't give you one, but what if I wanted to go for your second suggestion and > unlocks a secret...

Setting up a Redis cluster locally for testing is now documented and rather straight-forward: https://github.com/bazelbuild/bazel-buildfarm/#setting-up-redis-for-local-testing Not sure how much that would actually help with this particular problem, but it *might*...

> Presumably the benefit of running under windows is worth such a performance tradeoff. Just curious here, but do you know what the performance tradeoff actually was for regular files...

There are only two threads doing Redis operations. `Thread-5` seems to be waiting for a response from [SUBSCRIBE](https://redis.io/commands/SUBSCRIBE) and `main` is stuck locally in [SADD](https://redis.io/commands/SADD). Used to make sense of...

This is still reproducable on latest `master` by applying the patch and following [the running-locally instructions](https://github.com/bazelbuild/bazel-buildfarm#setting-up-redis-for-local-testing). ```patch From cf187f7ad009bd8736e82bbe40f162d522f52f06 Mon Sep 17 00:00:00 2001 From: Thomas Date: Thu, 7 Jan...

> If all jedis usage becomes isolated into commonly understood data structures, it would become trivial to replace those data structures with ones that use a different backend. > >...

Found this, should probably be part of the user manual document: ``` walles@gew1-preprodbuildfarmworker-k-rzvm:~$ helios rolling-update -h usage: helios rolling-update [-h] [-z MASTER] [-d DOMAINS] [--srv-name SRV_NAME] [-u USERNAME] [--google-credentials GOOGLE_CREDENTIALS]...