Jan is a user on social.tchncs.de. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
Jan @jaltek

In case of fire...

@jaltek git push -f, or you will sit around figuring out how to merge the garbage everyone else pushed in panic 😀