Github access

Stream: general

[Robin Carlier]

Hi everyone! I am a math student at ENS de Lyon, and I'd like to contribute a bit to mathlib, especially to the category theory part, is it possible to have access to a non-master branch from which I can work a bit? My github username is robin-carlier. I'd like to add some stuff about simplicial sets and simplicial objects.

[Bryan Gin-ge Chen]

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

[Robin Carlier]

Thank you!

[Nicholas]

Hello - I am a software engineer and I'd like to contribute to mathlib too! Can I have push access to non-master branches. My github username is nichedt

[Bryan Gin-ge Chen]

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

[Kevin Buzzard]

Hi @maintainers . Can Imperial student @Ines Wright have push access to non-master branches of mathlib? Her github userid is ineswright.

[Eric Wieser]

Invite sent!

[Kevin Buzzard]

Thanks!

[María Inés de Frutos Fernández]

Hello @maintainers . I am a postdoc in Kevin Buzzard's group at Imperial College. Can I get push access to non-master branches of mathlib? My github userid is mariainesdff. Thanks!

[Scott Morrison]

@María Inés de Frutos Fernández, invitation sent!

[María Inés de Frutos Fernández]

Thank you!

[Artem Vasilev]

Hi! I've done a couple of projects in Lean and working on solutions to some contest math and combinatorics. Can I have push access to non-master branches? My GitHub user name is VArtem

[Johan Commelin]

@Artem Vasilev https://github.com/leanprover-community/mathlib/invitations

[Kevin Buzzard]

Hi @maintainers, can LSGNT student David Angdinata, github userid multramate, have push access to non-master branches of mathlib?

[Johan Commelin]

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

[Kevin Buzzard]

Can LSGNT student Sebastian Monnet, with GitHub userid Sebastian-Monnet have push access to non-master branches please @maintainers ?

[Bryan Gin-ge Chen]

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

[Kyle Miller]

Can @Martin Dvořák (GitHub: madvorak) get push access to mathlib please?

[Martin Dvořák]

Oh, yes, please. I could have asked myself. Sorry.

[Johan Commelin]

@Martin Dvořák https://github.com/leanprover-community/mathlib/invitations voila

[Martin Dvořák]

Thank you!

[Patrick Johnson]

I think it's time for my first PR! Can I get access to non-master branches please? (github: https://github.com/user7230724)

[Kevin Buzzard]

@maintainers

[Rob Lewis]

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

[Kevin Buzzard]

@maintainers Can @Pierre-Alexandre Bazin github userid pbazin have push access to non-master branches of mathlib please?

[Kevin Buzzard]

oops @maintainers

[Kevin Buzzard]

(He's a French Masters student currently doing an internship with me)

[Riccardo Brasca]

Done

[Johan Commelin]

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

[Bolton Bailey]

I'm mentoring an undergraduate this term about Lean, and my hope is that I can work with him to make a pull request for something. Can @maintainers grant access to non master branches for seangolinski7 please?

[Kyle Miller]

@Bolton Bailey Done!

[Hans Parshall]

Dear @maintainers, may I please have write access to non-master branches of the mathlib repo? Github userid hparshall

[Heather Macbeth]

@Hans Parshall Done!

[Kevin Buzzard]

@maintainers can @Wrenna Robson with GitHub userid linesthatinterlace have access to non-master branches please? She has some API for finsum which I'm encouraging her to PR :-)

[Anne Baanen]

It says she already has access

[Anne Baanen]

Or maybe I was too slow :)

[Wrenna Robson]

Quite possibly I have!