Mathlib permissions request

Stream: general

[Kevin Shu]

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

[Bryan Gin-ge Chen]

What's your github username?

[Bryan Gin-ge Chen]

@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.

[Kevin Shu]

Sorry, my github username is ootks.

[Bryan Gin-ge Chen]

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

[Kevin Shu]

Thanks!