| 18 Oct 2025 |
hexa (signing key rotation when) | they only give us a hostname | 19:18:37 |
hexa (signing key rotation when) | no stable IP addresses | 19:18:42 |
hexa (signing key rotation when) | we hosted DNS until earlier this year | 19:19:06 |
hexa (signing key rotation when) | which is how that ✨️ magic ✨️ just worked | 19:19:26 |
hexa (signing key rotation when) | but alas nixos-homepage was using that account with unscoped api tokens and pull_request_target and lol no | 19:20:19 |
vcunat | 🤔 I guess Netlify prefer that you have DNS with them as well. | 19:20:41 |
hexa (signing key rotation when) | Redacted or Malformed Event | 19:20:50 |
vcunat | They seem to offer a static IP, but given that we don't redirect...
https://docs.netlify.com/manage/domains/configure-domains/configure-external-dns/#configure-an-apex-domain | 19:20:55 |
vcunat | And I see no option for HTTPS records to salvage at least some clients. | 19:21:22 |
vcunat | Yeah, I don't know. Not great. | 19:21:42 |
hexa (signing key rotation when) | I did recreate the nixos.org origin record a while ago, but that didn't change anything | 19:25:08 |
vcunat | And a ticket at Gandi has been created, surely. | 19:26:32 |
vcunat | (I'm out of ideas for shorter-term mitigations. Static IP would surely make it slow for half of the world, unless we switch to www. redirects which would probably be a larger change.) | 19:31:05 |
vcunat | * (I'm out of ideas for shorter-term mitigations. Static IP would surely make it slow for half of the world, unless we switch to www. redirects which would perhaps be a larger change.) | 19:32:14 |
hexa (signing key rotation when) | 5h ago | 19:33:09 |
hexa (signing key rotation when) | netlify has a single IPv4 adress we can point nixos.org to | 19:33:27 |
raitobezarius | I did mention it to Gandi people I was IRL few hours ago | 19:34:01 |
raitobezarius | (who might escalate it internally) | 19:34:10 |
vcunat | 🤔 though if the IP was anycasted, it might not be so bad. | 19:34:12 |
vcunat | Heh, we go against Netlify's strong recommendations with the www. https://docs.netlify.com/manage/domains/manage-domains/manage-multiple-domains/#apex-domains-and-www-subdomains | 19:36:06 |
hexa (signing key rotation when) | yeah, the single IP address is an anycasted aws address | 19:36:09 |
vcunat | So perhaps that for now? | 19:36:41 |
hexa (signing key rotation when) | what I suggested here | 19:37:02 |
vcunat | Sounds OK to try for me. | 19:37:23 |
vcunat | Though it would be nice to confirm experimentally that the site remains usable from at least two different continents. | 19:37:52 |
vcunat | And consider defaulting to www. for medium term? (Maybe it's easy to switch in Netlify, but I have no idea really.) | 19:38:13 |
vcunat | * And consider defaulting to www. for medium term? (Maybe it's easy to switch in Netlify, but I have no idea really and it surely can have implications.) | 19:38:24 |
vcunat | * And consider defaulting to www. for medium term? (Maybe it's easy to switch in Netlify, but I have no idea really and it surely can have nontrivial implications.) | 19:38:30 |
vcunat | If you do, please use somewhat short TTL for now. | 19:39:27 |
vcunat | * If you/we do, please use somewhat short TTL for now. | 19:39:48 |