midas

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

Files

T

History

HEL 2e898ab1e9

fix(checker): update binary operation lookup

2026-06-15 00:03:25 +02:00

builtins.py

feat(checker): WIP add lists

2026-06-15 00:03:15 +02:00

checker.py

refactor(checker): restructure around shared registry

2026-06-15 00:03:13 +02:00

diagnostic.py

refactor(checker): restructure around shared registry

2026-06-15 00:03:13 +02:00

environment.py

feat(cli): dump environment after compile

2026-05-31 18:44:41 +02:00

midas.py

feat(checker): add members registry

2026-06-15 00:03:24 +02:00

operators.py

feat(checker): add basic checker

2026-05-28 17:35:00 +02:00

python.py

fix(checker): update binary operation lookup

2026-06-15 00:03:25 +02:00

registry.py

fix(checker): handle nested generic members

2026-06-15 00:03:25 +02:00

reporter.py

feat(checker): add reporter class

2026-06-15 00:03:13 +02:00

resolver.py

fix(resolver): define variable on assignment

2026-06-15 00:03:17 +02:00

types.py

fix(checker): handle nested generic members

2026-06-15 00:03:25 +02:00

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

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