Server Migration Notice (31/10/2026) — New SSH Host Keys (git.kb28.ch)
Following the server migration on 31/10/2026, the SSH host keys for git.kb28.ch have changed. If you encounter the REMOTE HOST IDENTIFICATION HAS CHANGED warning during git pull or git push, run the following command to directly replace the old key in your ~/.ssh/known_hosts file:
Official New SSH Key Fingerprints:
- ED25519:
SHA256:UrTJ+OdOKicPnL+6EgOHGlFSBm9KA+kBGMpKtoUBIOA
- ECDSA:
SHA256:qne+wTzSr8k5KIuEtXNYz9/LYed4eOMSmxzgMZ4g+KI
- RSA:
SHA256:eaVzvSUlo66pMayLMHL/cWg4zoPui3LmLOWKm0XX22g
On non-consecutive ranges, we were drawing the starting line on top of the separator, which lead to some visual glitches in some viewers (e.g. Chrome).
@@ -392,1 +392,4 @@range-boundaries.push(start-i)range-boundaries.push(end-i)}range-boundaries.dedup()Not really useful since we're only checking if an index is in the list later on (line 431/434)
Also,
dedupdoesn't modify the array in place so the result should be reassigned to the variableWhat do you suggest we do instead?
It seems like removing duplicates is not really necessary because the only time we read from the list is to check whether it contains particular indices. I'd suggest not calling
dedupat allOk, done.
3a0331f33btob6f2fd99b8