Zulip Chat Archive

Stream: new members

Topic: Push permissions

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?

Bryan Gin-ge Chen (Aug 04 2020 at 15:06):

What's your github username?

Zhangir Azerbayev (Aug 04 2020 at 15:35):

zhangir-azerbayev, sorry for forgetting to add that.

Bryan Gin-ge Chen (Aug 04 2020 at 15:40):

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

Bolton Bailey (Jun 20 2023 at 14:05):

I am trying to push a PR to mathlib4, but it says I don't have permission. I have permission for mathlib3. Do I need to be re-granted permission for mathlib4?

Bolton Bailey (Jun 20 2023 at 14:05):

(Github username BoltonBailey)

Ruben Van de Velde (Jun 20 2023 at 14:08):

You do. cc @maintainers

Chris Hughes (Jun 20 2023 at 14:10):

I sent an invite

Last updated: Dec 20 2023 at 11:08 UTC