permission to push to mathlib

Stream: new members

[Faris Hafizhan Hakim]

Hi, I'm Faris, and I'm asking for permission to push to a branch on mathlib. My GitHub username is Faris999. Thanks!

[Eric Wieser]

Hi Faris :wave:! What sort of thing are you planning to contribute?

[Faris Hafizhan Hakim]

I'm planing to contribute the int version of div_mod_unique that I asked earlier

[Faris Hafizhan Hakim]

https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/division.20algorithm

[Eric Wieser]

Invite sent :tada:

[Faris Hafizhan Hakim]

Thanks!

[Eduardo Freire]

(deleted)

[Eduardo Freire]

(edit: Ugh, accidentally sent this on an existing thread instead of making a new one, is it possible to move this? sorry!) Hello! Could someone please give me permission to make a pull request to mathlib? I'm planning on making a PR adding Tukey's Lemma to order/zorn. My github username is duduFreire.

[Markus Himmel]

@Eduardo Freire I sent you an invitation: https://github.com/leanprover-community/mathlib/invitations

[Eduardo Freire]

Thank you!

[Kevin Buzzard]

@maintainers can ARazaMaths have push access to non-master branches of mathlib? Thanks!

[Rob Lewis]

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

[Kevin Buzzard]

@maintainers can github users JOY-020301 and Coda011226 have push access to mathlib? They're working on the Gaussian on a branch and it would be easier to collaborate this way.

[Kevin Buzzard]

Right now they're DMing code to each other, I only just found out :-/

[Markus Himmel]

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

[Kevin Buzzard]

Thanks! And can github user Xialu3421 also have push access? Sorry :-)

[Riccardo Brasca]

Invitation sent!