Zulip Chat Archive

Stream: new members

Topic: Contributing to mathlib (write access to branches)

Ryan Greenblatt (Dec 01 2021 at 00:03):

Hi, I'm Ryan. After working on a project in Lean I wanted to a few things to mathlib (Here is the project if anyone is curious: https://github.com/rgreenblatt/verified_sat).
I need branch write access to do so.
My github username is rgreenblatt and I currently have these PRs open: https://github.com/leanprover-community/mathlib/pull/10407 and https://github.com/leanprover-community/mathlib/pull/10409 (once I get write access, I'll close these PR for branches in my fork and open PRs from new branchs in the main repo).

Mario Carneiro (Dec 01 2021 at 00:13):

@Ryan Greenblatt check your inbox

Last updated: Dec 20 2023 at 11:08 UTC