github access

Stream: maths

[Lambert A'Campo]

Hi @maintainers, I'm a PhD student in London and I am interested in writing some lemmas about dvrs. Could I have permission to push things to the github? Thanks!

[Reid Barton]

What's your github username?

[Kevin Buzzard]

LAC1213

[Reid Barton]

Invite sent!

[Lambert A'Campo]

Thank you :)

[Marc Masdeu]

Hi @maintainers, can I have permission to push to non-master branches? I'd like do my first PR...

[Reid Barton]

What's your github username?

[Marc Masdeu]

mmasdeu

[Reid Barton]

sent!

[Marc Masdeu]

Thanks!

[Andrew Souther]

Hi @maintainers , I'd like to push to non-master branches. Can I have permission? My github username is asouther4.

[Bryan Gin-ge Chen]

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

[Andrew Souther]

Thanks!

[Adam Topaz]

Hi @maintainers . @Colter MacDonald and I started working on some code around projective spaces in branch#proj-space-quot . Would someone be able to grant him permission to push to non-master branches? His github user name is ColterMac.

[Bryan Gin-ge Chen]

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

[Colter MacDonald]

Thank you!

[Kevin Buzzard]

@maintainers can github user l-kershaw have push rights to non-master branches of mathlib? He's done some triangulated category stuff.

[Johan Commelin]

@Kevin Buzzard done!

[Kevin Buzzard]

@maintainers can github user verberkm have push rights to non-master branches of mathlib? This is my co-author Alain Verberkmoes, who has solved a couple of IMO problems in Lean.

Many thanks as ever!

[Chris Hughes]

Invite sent

[Arthur Paulino]

Hello there :wave:
I'm Arthur. I did a Bachelor's and a Master's in Computer Science with a focus on AI but I spent the whole time with a curiosity about the field of computer-assisted proofs. I started learning this subject with Coq but after seeing Lean I fell in love with the language itself and with the fact that it translates directly to C/C++.
I am a data scientist but I'd love to learn more about Lean and collaborate with mathlib. May I have access to write on mathlib repo branches? My GitHub username is arthurpaulino. Thanks in advance!

[Mario Carneiro]

invite sent

[Jesse Vogel]

Hi @maintainers, can MadPidgeon and jessetvogel have writing permissions for the mathlib repository?

[Scott Morrison]

Looks like MadPidgeon already had write access, and I've just given it to jessetvogel

[Niels Voss]

Hi maintainers, I'm looking to do my first PR to mathlib. Could I get push access to non-master branches of mathlib? My github username is osbourn

[Ruben Van de Velde]

@maintainers

[Scott Morrison]

@Niels Voss, invitation sent.

[Niels Voss]

Thank you!