No3

Anything before 2019 is dead. Old GitHub and old PGP are not in use anymore. The current key lives at pgp.txt.

You can find me on Discord, but responses are unlikely, so prefer email. If you already have my email, you can reach me about robotics or my commits. If you do not have it, please do not try to dig for it. I will not reply.