Access to Abel-Ruffini branch

Stream: new members

[Jordan Brown]

I'm part of the Berkeley Lean seminar, and I am working on the Abel-Ruffini branch, but I don't have permission to push to it. Can I get permission? My github username is jlcbrown.

[Bryan Gin-ge Chen]

@Jordan Brown invite sent! https://github.com/leanprover-community/mathlib/invitations