Zulip Chat Archive

Stream: new members

Topic: GitHub permission

Antoine Labelle (Nov 04 2021 at 18:11):

Hi!
I have formalized a solution to Q1 of IMO 1994, and I would like to add it to mathlib. Could someone give me the permission to make a pull request? My github username is antoinelab01.

Johan Commelin (Nov 04 2021 at 18:14):

@Antoine Labelle Voila: https://github.com/leanprover-community/mathlib/invitations

Felix Weilacher (Nov 07 2022 at 16:38):

Hi! Could I get permission to make a PR? My GitHub username is Felix-Weilacher

Ruben Van de Velde (Nov 07 2022 at 16:52):

@maintainers

Ruben Van de Velde (Nov 07 2022 at 16:52):

(That's still who needs a ping, right?)

Riccardo Brasca (Nov 07 2022 at 16:53):

Invitation sent!

Felix Weilacher (Nov 07 2022 at 17:41):

thanks!

Felix Weilacher (Apr 06 2023 at 17:26):

Can someone also give me permission for mathlib4?

Felix Weilacher (Apr 06 2023 at 18:16):

@maintainers

Scott Morrison (Apr 06 2023 at 18:51):

Invited!

Felix Weilacher (Apr 06 2023 at 18:53):

thanks!

Last updated: Dec 20 2023 at 11:08 UTC