| 8 Oct 2025 |
 Ilan Joselevich (Kranzes) | Didn't we start using GHA more over the past year or so? | 17:20:36 |
 Arian | yes | 17:23:47 |
 BMG | In reply to @zimbatm:numtide.com
Slow mode is actually making you watch some Nespresso commercial :) I... I really want this to happen... 🙏 | 20:51:52 |
| 9 Oct 2025 |
 sterni | I am already mirroring the git repository, I think it is updated three times a day. Should be easy to increase the frequency. | 21:36:54 |
 @7c6f434c:nitro.chat | Speaking of GH reliability, today it did not manage to figure out whether a 5-line PR to elections repo can be merged via web UI or not… | 21:38:53 |
