Zulip Chat Archive

Stream: new members

Topic: Permission to push to branch

Adrián Doña Mateo (Oct 25 2020 at 14:37):

Hi, I'm working on the proof of Goursat's theorem in the triangles branch with @Heather Macbeth. I'll need permission to push my changes. My github username is AdrianDoM. Thanks!

Kevin Buzzard (Oct 25 2020 at 14:38):

@maintainers :up:

Bryan Gin-ge Chen (Oct 25 2020 at 14:53):

@Adrián Doña Mateo Invite sent! https://github.com/leanprover-community/mathlib/invitations

Adrián Doña Mateo (Oct 26 2020 at 11:40):

Thanks!

Ramon Fernandez Mir (Dec 02 2020 at 14:59):

@maintainers can I also get an invite? I contributed ages ago but I seem to have lost my rights :-( My username is ramonfmir

Patrick Massot (Dec 02 2020 at 15:01):

Done. Welcome back!

Ramon Fernandez Mir (Dec 02 2020 at 15:13):

Thanks! :)

Sean Gonzales (Aug 12 2022 at 18:23):

I've been working on field theory with @Thomas Browning and I'd like permission to push to a non-master branch of mathlib. My GitHub username is ChimiSeanGa. Thanks in advance!

Kevin Buzzard (Aug 12 2022 at 18:27):

@maintainers

Markus Himmel (Aug 12 2022 at 18:29):

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

Jamie Reason (Sep 29 2022 at 15:10):

Hey, can I have permission to push to a non-master mathlib branch for some work on Bernoulli polynomials and separately, for partial equivalences for matrices. My github username is jreaso. Thanks

Anne Baanen (Sep 29 2022 at 15:11):

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

Jamie Reason (Sep 29 2022 at 15:11):

Thanks!

Last updated: Dec 20 2023 at 11:08 UTC