Zulip Chat Archive
Stream: new members
Topic: Write access
Pim Otte (Aug 19 2022 at 06:35):
Per this thread I'd like to try polishing up the binomial branch and PR'ing it. Could I have push access? :) My github name is pimotte
Anne Baanen (Aug 19 2022 at 08:35):
Done! https://github.com/leanprover-community/mathlib/invitations
Last updated: Dec 20 2023 at 11:08 UTC