Permission to push branch to mathlib

Stream: maths

[Shadman Sakib]

Hi @maintainers, I am a student of Heather Macbeth and I have been working on some lemmas about the dihedral_group and homomorphism. May I please have permission to push this as a branch in preparation for a PR? My Github username is shadas_ali.

[Bryan Gin-ge Chen]

@Shadman Sakib Could you double-check your GitHub username? It says "Could not find a GitHub account matching shadas_ali".

[Shadman Sakib]

Sorry, my github username is shadasali.

[Bryan Gin-ge Chen]

Looks like someone beat me to the invitation: https://github.com/leanprover-community/mathlib/invitations

[Eric Wieser]

Sorry @Bryan Gin-ge Chen!

[Chris Camaño]

Hi, I am a student at the MSRI summer school and I want to PR a theorem I proved about Lipschitz extensions, can I have permission to push to branches of mathlib4? My username: chriscamano

[Heather Macbeth]

@Chris Camaño done