Zulip Chat Archive

Stream: general

Topic: Mathlib permissions request


view this post on Zulip Kevin Shu (Aug 22 2020 at 17:04):

Hello, I want to pus some changes to the spectral_theorem_fd branch of mathlib. Can I have permissions to do that?

view this post on Zulip Bryan Gin-ge Chen (Aug 22 2020 at 17:11):

What's your github username?

view this post on Zulip Bryan Gin-ge Chen (Aug 23 2020 at 01:58):

@Kevin Shu (In case you missed my message above) We're happy to give you access, but we need your GitHub username in order to do so.

view this post on Zulip Kevin Shu (Aug 23 2020 at 02:02):

Sorry, my github username is ootks.

view this post on Zulip Bryan Gin-ge Chen (Aug 23 2020 at 02:05):

@Kevin Shu Invite sent! https://github.com/leanprover-community/mathlib/invitations

view this post on Zulip Kevin Shu (Aug 23 2020 at 02:15):

Thanks!


Last updated: May 13 2021 at 17:42 UTC