github organisation avatar

Stream: general

[Kevin Buzzard]

orgs.png

There's the three organizations I belong to on GitHub. Do you think the community should do something about the middle one, which is leanprover-community with its default github logo.

I remember once someone pointing out that the standard LEAN logo is not very amenable to being put into a square. Could we have a 2x2 LE;AN matrix?

[Eric Wieser]

There's the secondary question of whether we should be using a different icon to distinguish leanprover from leanprover-community

[Eric Wieser]

But 2x2 does seem like a good idea, and is what CodeWars uses:

image.png

[Eric Wieser]

Adding an avatar was discussed previously here and here (by you!) and here

[Eric Wieser]

Maybe for now we just take https://leanprover.github.io/images/lean_logo2.svg and replace the bottom text with "community"?