Topic: Mathlib permissions request
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?
Bryan Gin-ge Chen (Aug 22 2020 at 17:11):
What's your github username?
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.
Kevin Shu (Aug 23 2020 at 02:02):
Sorry, my github username is ootks.
Bryan Gin-ge Chen (Aug 23 2020 at 02:05):
@Kevin Shu Invite sent! https://github.com/leanprover-community/mathlib/invitations
Kevin Shu (Aug 23 2020 at 02:15):
Last updated: May 13 2021 at 17:42 UTC