Zulip Chat Archive
Stream: new members
Topic: Permission to push
Daniel Roca González (Jan 16 2022 at 12:17):
Hello everyone,
I am Daniel Roca González, a math PhD student from Karlsruhe, and I have been working on the Lax-Milgram theorem as a first project (see https://github.com/leanprover-community/mathlib/issues/10213). I have made progress and would like to publish a WIP. Could you give me permission to push a branch?
Patrick Massot (Jan 16 2022 at 12:23):
What is your GitHub username?
Daniel Roca González (Jan 16 2022 at 12:37):
Patrick Massot (Jan 16 2022 at 13:49):
done
Daniel Roca González (Jan 16 2022 at 14:43):
Thank you :)
Last updated: Dec 20 2023 at 11:08 UTC