Skip to content
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

Revert alternative logo #320

Closed
wants to merge 1 commit into from
Closed

Conversation

rhendric
Copy link

Six months ago:

‘It would most certainly be temporary...’

@tomjaguarpaw tomjaguarpaw requested a review from Tritlo November 22, 2024 08:48
Copy link
Collaborator

@tomjaguarpaw tomjaguarpaw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fine by me

@MangoIV
Copy link

MangoIV commented Nov 28, 2024

But why would we revert it?

@tomjaguarpaw
Copy link
Collaborator

Exactly because part of the justification for adding it was that it would be temporary. It would set a bad precedent to keep something that was explicitly justified on the grounds of being temporary. If people do want to keep it, that's fine, but I think it should go through another proposal process.

(In retrospect I think we ought to have set a time limit on it, after which it would have been "pre-approved" for reversion, absent another vote to keep it.)

@pera
Copy link

pera commented Nov 28, 2024

I think it's a fun Easter egg so I would say keep it.

@tomjaguarpaw
Copy link
Collaborator

I think it's a fun Easter egg so I would say keep it.

I'm inclined to agree actually. It seems fun and I don't think it's doing any harm. But it is up to the people who want to keep it permanently to make such a proposal and advocate for it, otherwise we're going to lose trust in proposals whose proponents claim "this is only temporary".

@kutyel
Copy link

kutyel commented Nov 28, 2024

I think it does not hurt anyone if we keep it and also it shows that the Haskell community still has a nice sense of humour 😉

@tomjaguarpaw
Copy link
Collaborator

OK, let's have a committee vote in #321

@pedroid999
Copy link

I propose giving a community hug to the person who proposed removing the logo, I think he needs it.

@rhendric rhendric closed this Dec 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants