Peter Nelson -write access?

Stream: new members

[Peter Nelson]

Hi - I've been around for a while (Peter Nelson, combinatorialist at UWaterloo in Canada), but am just now looking to make a PR. Could someone please grant me non-master write access to mathlib? My github name is apnelson1

[Bryan Gin-ge Chen]

Invite sent! https://github.com/leanprover-community/mathlib/invitations