Stream: new members
Topic: Peter Nelson -write access?
Peter Nelson (Mar 10 2021 at 17:40):
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 (Mar 10 2021 at 17:41):
Last updated: May 17 2021 at 22:15 UTC