Request for non-master branch write access

Stream: general

[Sorawee Porncharoenwase]

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]

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

[Johan Commelin]

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

[Sorawee Porncharoenwase]

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]

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

[Johan Commelin]

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

[Sidharth Hariharan]

@Johan Commelin invite received and accepted. Thank you!