Zulip Chat Archive

Stream: new members

Topic: write access

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

Bryan Gin-ge Chen (May 24 2020 at 16:30):

Done.

Kenny Lau (May 24 2020 at 16:40):

Thanks

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)

Kenny Lau (May 24 2020 at 16:49):

#backticks

Kenny Lau (May 24 2020 at 16:53):

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

Kenny Lau (May 24 2020 at 16:53):

like without the @github.com

Johan Commelin (May 24 2020 at 16:54):

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

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

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?

Johan Commelin (May 24 2020 at 16:58):

Github sends you an email

Ken Lee (May 24 2020 at 17:00):

I have not received an email.

Johan Commelin (May 24 2020 at 17:04):

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

Johan Commelin (May 24 2020 at 17:04):

@Ken Lee :up:

Ken Lee (May 24 2020 at 17:04):

@Johan Commelin just got your email. Thanks!

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: Dec 20 2023 at 11:08 UTC