Zulip Chat Archive

Stream: general

Topic: github organisation avatar


Kevin Buzzard (Aug 16 2022 at 23:40):

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 (Aug 16 2022 at 23:49):

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

Eric Wieser (Aug 16 2022 at 23:52):

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

image.png

Eric Wieser (Aug 16 2022 at 23:53):

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

Eric Wieser (Aug 17 2022 at 00:01):

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


Last updated: Dec 20 2023 at 11:08 UTC