Zulip Chat Archive

Stream: maths

Topic: github access


view this post on Zulip Lambert A'Campo (Jan 04 2021 at 17:18):

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!

view this post on Zulip Reid Barton (Jan 04 2021 at 17:20):

What's your github username?

view this post on Zulip Kevin Buzzard (Jan 04 2021 at 17:21):

LAC1213

view this post on Zulip Reid Barton (Jan 04 2021 at 17:24):

Invite sent!

view this post on Zulip Lambert A'Campo (Jan 04 2021 at 17:44):

Thank you :)

view this post on Zulip Marc Masdeu (Jan 08 2021 at 13:12):

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

view this post on Zulip Reid Barton (Jan 08 2021 at 13:13):

What's your github username?

view this post on Zulip Marc Masdeu (Jan 08 2021 at 13:15):

mmasdeu

view this post on Zulip Reid Barton (Jan 08 2021 at 13:18):

sent!

view this post on Zulip Marc Masdeu (Jan 08 2021 at 13:19):

Thanks!

view this post on Zulip Andrew Souther (Jan 11 2021 at 00:49):

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

view this post on Zulip Bryan Gin-ge Chen (Jan 11 2021 at 00:51):

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

view this post on Zulip Andrew Souther (Jan 11 2021 at 02:44):

Thanks!

view this post on Zulip Adam Topaz (Feb 01 2021 at 17:06):

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.

view this post on Zulip Bryan Gin-ge Chen (Feb 01 2021 at 17:07):

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

view this post on Zulip Colter MacDonald (Feb 01 2021 at 17:07):

Thank you!

view this post on Zulip Kevin Buzzard (Mar 04 2021 at 19:54):

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

view this post on Zulip Johan Commelin (Mar 04 2021 at 19:58):

@Kevin Buzzard done!

view this post on Zulip Kevin Buzzard (Mar 28 2021 at 20:52):

@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!

view this post on Zulip Chris Hughes (Mar 28 2021 at 20:54):

Invite sent


Last updated: May 10 2021 at 07:15 UTC