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

Simple code generator and CLI redesign #10

Merged

HEL merged 5 commits from feat/code-generator into main

2026-06-15 14:29:22 +02:00

Author	SHA1	Message	Date
HEL	81181891c4	feat(gen): output compiled file in build dir	2026-06-15 14:20:17 +02:00
HEL	59c1a0c7b6	feat(cli): refactor CLI and add some commands	2026-06-15 14:17:54 +02:00
HEL	74f51f361a	feat(checker): make checker return TypedAST	2026-06-15 14:16:10 +02:00
HEL	f25341b1e7	feat: add pass statements	2026-06-15 13:28:40 +02:00
HEL	3281324caf	feat(gen): add simple generator	2026-06-15 02:10:22 +02:00

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

Simple code generator and CLI redesign #10

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