Zulip Chat Archive

Stream: new members

Topic: mathlib access


view this post on Zulip Kenny Lau (Dec 03 2020 at 19:11):

Please grant @Calle Sönne (username to be provided) access to mathlib non-master branches

view this post on Zulip 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

view this post on Zulip Johan Commelin (Dec 03 2020 at 19:15):

you already have an invitation

view this post on Zulip Johan Commelin (Dec 03 2020 at 19:16):

github.com/leanprover-community/mathlib/invitations

view this post on Zulip Johan Commelin (Dec 03 2020 at 19:16):

@Calle Sönne :point_of_information: that should show you your invitation

view this post on Zulip Calle Sönne (Dec 03 2020 at 19:17):

Johan Commelin said:

github.com/leanprover-community/mathlib/invitations

It has expired. Was this from a very long time ago :joy:

view this post on Zulip Calle Sönne (Dec 03 2020 at 19:18):

Must have missed it back then

view this post on Zulip Calle Sönne (Dec 03 2020 at 19:18):

Chris just fixed it. Thanks!


Last updated: May 14 2021 at 00:42 UTC