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:

ssh-keygen -R git.kb28.ch && ssh-keyscan -t ed25519,ecdsa,rsa git.kb28.ch >> ~/.ssh/known_hosts

Official New SSH Key Fingerprints:

ED25519: SHA256:UrTJ+OdOKicPnL+6EgOHGlFSBm9KA+kBGMpKtoUBIOA

ECDSA: SHA256:qne+wTzSr8k5KIuEtXNYz9/LYed4eOMSmxzgMZ4g+KI

RSA: SHA256:eaVzvSUlo66pMayLMHL/cWg4zoPui3LmLOWKm0XX22g

HEL/midas

0 Fork 0

Type aliases vs. Derived types #24

Merged

HEL merged 3 commits from feat/subtypes-and-aliases into main

2026-07-01 10:09:14 +02:00

Author	SHA1	Message	Date
HEL	c4533421eb	feat(checker): process alias definitions	2026-07-01 09:59:58 +02:00
HEL	73769b42c1	feat(parser): add alias keyword and statement	2026-07-01 09:30:09 +02:00
HEL	087f6b4669	refactor(types): rename AliasType to DerivedType	2026-06-30 16:28:16 +02:00

Server Migration Notice (31/10/2026) — New SSH Host Keys (git.kb28.ch)

Type aliases vs. Derived types #24

Server Migration Notice (31/10/2026) — New SSH Host Keys (`git.kb28.ch`)