Zulip Chat Archive

Stream: new members

Topic: write access


view this post on Zulip Kenny Lau (May 24 2020 at 16:29):

Can we get @Ken Lee (kl-i@github.com) write access to the non-master branches of mathlib? Thanks

view this post on Zulip Bryan Gin-ge Chen (May 24 2020 at 16:30):

Done.

view this post on Zulip Kenny Lau (May 24 2020 at 16:40):

Thanks

view this post on Zulip Ken Lee (May 24 2020 at 16:49):

user@user mathlib % git push -u origin prod-dvd
remote: Permission to leanprover-community/mathlib.git denied to kl-i.
fatal: unable to access 'https://github.com/leanprover-community/mathlib.git/': The requested URL returned error: 403

I still cannot write anything. (I am on MacOS)

view this post on Zulip Kenny Lau (May 24 2020 at 16:49):

#backticks

view this post on Zulip Kenny Lau (May 24 2020 at 16:53):

oh sorry @Bryan Gin-ge Chen maybe it is just kl-i?

view this post on Zulip Kenny Lau (May 24 2020 at 16:53):

like without the @github.com

view this post on Zulip Johan Commelin (May 24 2020 at 16:54):

@Ken Lee Did you get an email with an invitation? You have to accept it.

view this post on Zulip Johan Commelin (May 24 2020 at 16:55):

We can't give you write access... we can only invite you to accept having write access

view this post on Zulip Ken Lee (May 24 2020 at 16:57):

Sorry, my primary email is private. There's is 44476407+kl-i@users.noreply.github.com though. Is this what's needed?

view this post on Zulip Johan Commelin (May 24 2020 at 16:58):

Github sends you an email

view this post on Zulip Ken Lee (May 24 2020 at 17:00):

I have not received an email.

view this post on Zulip Johan Commelin (May 24 2020 at 17:04):

https://github.com/leanprover-community/mathlib/invitations

view this post on Zulip Johan Commelin (May 24 2020 at 17:04):

@Ken Lee :up:

view this post on Zulip Ken Lee (May 24 2020 at 17:04):

@Johan Commelin just got your email. Thanks!

view this post on Zulip Bryan Gin-ge Chen (May 24 2020 at 17:17):

Whoops, I invited k-li. I guess I'll uninvite them now... :upside_down:


Last updated: May 08 2021 at 04:14 UTC