Merge pull request #1 from robamu/add-myself

Author: thejpster

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