mathlib pull request permission

Stream: new members

[Zach Murray]

Hello. I posted a while back about developing double categories in Lean. I figure I may as well try to get the internal category stuff I've been using towards this goal into mathlib. Would someone please grant me the necessary permission for a pull request? My GitHub is z-murray.

[Ruben Van de Velde]

Zach Murray said:

Hello. I posted a while back about developing double categories in Lean. I figure I may as well try to get the internal category stuff I've been using towards this goal into mathlib. Would someone please grant me the necessary permission for a pull request? My GitHub is z-murray.

@maintainers

[Scott Morrison]

@Zach Murray, I've sent invites for both the mathlib and mathlib4 repos.

[Zach Murray]

Got them, thank you!