add robamu

robamu · robamu · commit 256def0e64f9 · 2025-05-24T12:48:39.000+02:00
diff --git a/people/robamu.toml b/people/robamu.toml
@@ -0,0 +1,6 @@
+name = "Robin Mueller"
+github = "robamu"
+github-id = 31589589
+email = "robin.mueller.m@gmail.com"
+zulip-id =  919374
+discord-id = 424647920906797057
