Write access for michaellee94

Stream: new members

[Michael Lee]

Hi, all! Have a PR up on a branch of my own mathlib4 fork, but need to move it to an upstream branch for CI. Could I please have write access for non-master branches? My GitHub username is michaellee94. Thanks so much!

[Scott Morrison]

@Michael Lee, please see https://github.com/leanprover-community/mathlib/invitations

[Eric Wieser]

@Scott Morrison, surely that should read "mathlib4"?

[Scott Morrison]

Oops, I copied and pasted from upstream, which I suspect was from a standard post from Johan's buffer.