Zulip Chat Archive
Stream: new members
Topic: mathlib access
Kenny Lau (Dec 03 2020 at 19:11):
Please grant @Calle Sönne (username to be provided) access to mathlib non-master branches
Calle Sönne (Dec 03 2020 at 19:14):
Kenny Lau said:
Please grant Calle Sönne (username to be provided) access to mathlib non-master branches
callesonne is the username
Johan Commelin (Dec 03 2020 at 19:15):
you already have an invitation
Johan Commelin (Dec 03 2020 at 19:16):
github.com/leanprover-community/mathlib/invitations
Johan Commelin (Dec 03 2020 at 19:16):
@Calle Sönne :point_of_information: that should show you your invitation
Calle Sönne (Dec 03 2020 at 19:17):
Johan Commelin said:
It has expired. Was this from a very long time ago :joy:
Calle Sönne (Dec 03 2020 at 19:18):
Must have missed it back then
Calle Sönne (Dec 03 2020 at 19:18):
Chris just fixed it. Thanks!
Last updated: Dec 20 2023 at 11:08 UTC