Creating projects

Stream: mathlib4

[Ruben Van de Velde]

It seems like only "members" of an organisation can create projects on github, and we're all added as "Outside collaborators". We might consider creating a team inside the leanprover-community org that gives access to mathlib4 and presumably allows creating projects

[Scott Morrison]

If you tell me a URL to go to, and what fields to fill in, I will create projects!