Zulip Chat Archive

Stream: new members

Topic: Push permissions


view this post on Zulip Zhangir Azerbayev (Aug 04 2020 at 15:05):

Hi everyone! I'm working on adding to Adam Topaz's exterior algebra branch (with his permission of course). Could someone please give me permission to push to a branch?

view this post on Zulip Bryan Gin-ge Chen (Aug 04 2020 at 15:06):

What's your github username?

view this post on Zulip Zhangir Azerbayev (Aug 04 2020 at 15:35):

zhangir-azerbayev, sorry for forgetting to add that.

view this post on Zulip Bryan Gin-ge Chen (Aug 04 2020 at 15:40):

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


Last updated: May 13 2021 at 22:15 UTC