Skip to content

A logo for purescript-emacs group #47

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Hi-Angel opened this issue Apr 8, 2025 · 5 comments
Closed

A logo for purescript-emacs group #47

Hi-Angel opened this issue Apr 8, 2025 · 5 comments
Labels
question Further information is requested

Comments

@Hi-Angel
Copy link
Member

Hi-Angel commented Apr 8, 2025

I figured would be nice if the group has a logo on it. I looked around, the main purescript group has this one:

Image

The semi-official purescript mode for non-Emacs editors seems to be for Atom, and its parent group has some logo, but colors inverted:

Image

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:

Image

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

@Hi-Angel Hi-Angel added the question Further information is requested label Apr 8, 2025
@Hi-Angel
Copy link
Member Author

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.

@purcell
Copy link
Member

purcell commented Apr 18, 2025

Personally I'd rather have no logo in the github org than an AI-generated one. 🤷

@Hi-Angel
Copy link
Member Author

Oh, why?

@Hi-Angel
Copy link
Member Author

@purcell either way, as mentioned I don't really care which logo would it be, I am fine if you set either one of the first two, which I'm sure weren't generated because PureScript groups existed before AI came to its bloom.

@purcell
Copy link
Member

purcell commented Apr 28, 2025

Done. The logos above didn't satisfy GitHub for some reason, but I found a suitable icon in the PureScript org.

@purcell purcell closed this as completed Apr 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
question Further information is requested
Projects
None yet
Development

No branches or pull requests

2 participants