Hello + mathlib non-main write permission?

Stream: mathlib4

[Javier Lopez-Contreras]

Hello!

My name is Javier, I'm interested in number theory / algebra stuff. I'm looking to learn some Lean by solving some low-hanging 'sorrys' in mathlib (to start, hopefully I can solve some of @Andrew Yang sorrys in the ValuationCriterion project). Could I get writing permissions (on non-main branches) of the mathlib4 repo? My github handle is javierlcontreras

(not sure if this is the right channel for this, sorry!)

[Zhu]

Hi!
maybe in the github permission topic here I guess