You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Okay, so, since everyone's fine either way, @purcell could you please set the last picture as the group avatar? I don't have the permissions unfortunately.
I figured would be nice if the group has a logo on it. I looked around, the main purescript group has this one:
The semi-official purescript mode for non-Emacs editors seems to be for Atom, and its parent group has some logo, but colors inverted:
VSCode's purescript-mode, surprisingly, is developed in someone's own repo (so no logo).
I asked ChatGPT to produce a logo, it suggested this one:
Can we perhaps apply any of these logos? I don't mind either of them, just don't want the group avatar to look empty 😊
CC:@kritzcreek @purcell @bsermons
The text was updated successfully, but these errors were encountered: