| 8 Oct 2025 |
 Jonas Chevalier | Maybe we should put ads on the drama threads? New type of open source funding :) | 17:01:34 |
 Arian | Lmao unskippable 30 seconds | 17:02:21 |
| Jonas Chevalier | Slow mode is actually making you watch some Nespresso commercial :) | 17:02:55 |
| Arian | This is legit the best worst idea ever | 17:03:39 |
| Jonas Chevalier | hehe | 17:04:22 |
 Ilan Joselevich (Kranzes) | But we need a written policy on who is allowed to advertise, right? Governance y'know... | 17:05:45 |
| Jonas Chevalier | Only the ads allowed on the streaming platforms. 50% VPN providers and War Thunder | 17:08:20 |
| Jonas Chevalier | Actually I was coming here initially to ask if anyone is setting up a mirror of nixpkgs :) I have a feeling we're going to see more GitHub outages in the next 18 months or so:
https://thenewstack.io/github-will-prioritize-migrating-to-azure-over-feature-development/ | 17:12:51 |
| Jonas Chevalier | It might be good to think a bit about partial fallback solutions. | 17:13:33 |
 Lun | 30s mindfulness meditation pre-roll | 17:14:48 |
| Arian | Ipv6 when | 17:16:40 |
| Arian | Im way less worried about the source code. Our usage of GitHub actions is an existential risk to the project though | 17:17:04 |
| Arian | It's literally down 4 times per month and they'll rugpull us at some point | 17:17:16 |
| 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 | 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 |
| 7c6f434c | Is Hydra not maintaining a git clone with all the branches it builds? | 21:39:53 |
| Arian | GitHub was down for a few hours today | 21:46:43 |
