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

For loops #11

Merged

HEL merged 5 commits from feat/for-loops into main

2026-06-16 00:51:12 +02:00

Author	SHA1	Message	Date
HEL	25fabdd6c3	refactor(checker): split type computation and judgement	2026-06-16 00:48:32 +02:00
HEL	af1aba41e7	feat(gen): handle for loops	2026-06-16 00:36:43 +02:00
HEL	48e13d3348	feat(checker): handle for loops	2026-06-16 00:36:03 +02:00
HEL	faa98ce0ef	feat(parser): add for loop node	2026-06-16 00:35:05 +02:00
HEL	274e366561	feat(cli): add help messages to all commands	2026-06-15 18:55:23 +02:00

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

For loops #11

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