making a contribution

Stream: new members

[Giacomo Maletto]

Hello, I'd like to start off by making a very light contribution - adding to mathlib a couple of lemmas about lists that I found useful and that are absent from Mathlib as far as I can tell.
Can I have write access to non-master branches of the mathlib repository? My GitHub username is GiacomoMaletto.

[Alex J. Best]

@maintainers :up:

[Johan Commelin]

@Giacomo Maletto welcome: https://github.com/leanprover-community/mathlib/invitations

[Giacomo Maletto]

Thank you!