Zulip Chat Archive

Stream: general

Topic: Push permissions

Adam Topaz (Jul 23 2020 at 20:05):

Hi all! I have a construction of the tensor algebra of an arbitrary module over an arbitrary commutative ring. Could I get permissions to push to mathlib? I'd like to open a PR.

Bryan Gin-ge Chen (Jul 23 2020 at 20:05):

What's your github username?

Adam Topaz (Jul 23 2020 at 20:06):

adamtopaz

Bryan Gin-ge Chen (Jul 23 2020 at 20:08):

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

Adam Topaz (Jul 23 2020 at 20:08):

Got it! Thanks!

Last updated: Dec 20 2023 at 11:08 UTC