Zulip Chat Archive

Stream: general

Topic: Request for non-master branch write access


Sorawee Porncharoenwase (Apr 11 2022 at 08:46):

I used to contribute to mathlib, and didn't notice that I should request for this write access, so that's what I'm doing now.

The change that I want to make is at https://github.com/leanprover-community/mathlib/pull/13334: it's a theorem stating that last (xs ++ ys) can be rewritten to last ys when ys is not empty.

My GitHub username is @sorawee.

Yaël Dillies (Apr 11 2022 at 08:48):

You must have figured it out by now, but you will need to reopen your PR from a mathlib branch.

Johan Commelin (Apr 11 2022 at 08:48):

@Sorawee Porncharoenwase welcome: https://github.com/leanprover-community/mathlib/invitations

Sorawee Porncharoenwase (Apr 11 2022 at 08:49):

Yaël Dillies said:

You must have figured it out by now, but you will need to reopen your PR from a mathlib branch.

Yes, I will do that.

Johan Commelin said:

Sorawee Porncharoenwase welcome: https://github.com/leanprover-community/mathlib/invitations

Thanks!

Kevin Buzzard (Jun 23 2022 at 18:42):

@maintainers could Imperial undergraduate @Sidharth Hariharan , github userid thefundamentaltheor3m, have push access to non-master branches of mathlib? Thanks!

Johan Commelin (Jun 23 2022 at 20:32):

@Sidharth Hariharan Invite sent: https://github.com/leanprover-community/mathlib/invitations

Sidharth Hariharan (Jun 24 2022 at 00:25):

@Johan Commelin invite received and accepted. Thank you!


Last updated: Dec 20 2023 at 11:08 UTC