permission for mzinkevi to push to github

Stream: new members

[Martin Zinkevich]

github username: mzinkevi
e-mail:martin.zinkevich@gmail.com/martinz@google.com

In watching https://www.youtube.com/watch?v=Bnc8w9lxe8A
Scott Morrisson suggests to ask for permission to push to github in Zulip.

My long-term goal is to add the Radon-Nikodym from
https://github.com/google/formal-ml
in small chunks, but first I need to create a branch on github to create a pull request, which requires permission.

-Marty

[Bryan Gin-ge Chen]

@Martin Zinkevich Invitation sent! https://github.com/leanprover-community/mathlib/invitations

[Martin Zinkevich]

Thanks! I successfully created my first PR https://github.com/leanprover-community/mathlib/pull/4184