Asking for write access

Stream: new members

[Jakob Scholbach]

Hello, I (Jakob Scholbach, algebraic geometer at the university of Münster) would like to ask for write access in order to suggest a small PR containing some basics around the exponential characteristic. My github name is JakobScholbach. Thanks!

[Johan Commelin]

@Jakob Scholbach voila: https://github.com/leanprover-community/mathlib/invitations

[Alistair Tucker]

Hi! I have proved my thing and in the process made about fifty [more general defs and lemmas] (https://github.com/agjftucker/exists-unique/tree/master/src/missing_mathlib) that might belong in mathlib rather than in my project. Would you like me to make PRs? If so I believe I need some sort of write access. My github name is agjftucker.

[Bryan Gin-ge Chen]

@Alistair Tucker Invite sent! https://github.com/leanprover-community/mathlib/invitations

[Alistair Tucker]

Thanks!

[Elias Heikkilä]

Hello! I am Elias Heikkilä, a math PhD student and I would like to make contributions about computability theory (finite automata, tilings, cellural automata ect.). I am requesting for push rights to the repo. My gh name is elwuelwu (https://github.com/elwuelwu)

[Bryan Gin-ge Chen]

Elias Heikkilä said:

Hello! I am Elias Heikkilä, a math PhD student and I would like to make contributions about computability theory (finite automata, tilings, cellural automata ect.). I am requesting for push rights to the repo. My gh name is elwuelwu (https://github.com/elwuelwu)

Invite sent! https://github.com/leanprover-community/mathlib/invitations

[Yaël Dillies]

Is it a coincidence that two Heikkilä joined recently?

[Matias Heikkilä]

@Yaël Dillies he's my little brother :laughing:

[Yaël Dillies]

Ahah! I was suspecting something of sort.