Remove greeting bot

[Pandapip1]

Rationale: With #5066 merged, users should be more aware of the information given in the greeting bot - and at this point, the greeting bot seems to cause more annoyances than benefits. I suggest it be removed.

@eth-bot will not merge this. It will need to be manually merged.

[eth-bot]

A critical and unhandled exception has occurred:
Message: not found
Data: (there is no data for this error)(cc @alita-moore, @mryalamanchi)

[Pandapip1]

Editor CC since @eth-bot didn't ping: @MicahZoltu @lightclient @gcolvin @axic @SamWilsn

[SamWilsn]

I can't override the bot, sorry ^^;;

[MicahZoltu]

Given the changes in #5066, I'm open to giving things a try without the greeter to see if it would still add value or not. I'll wait to hear from other editors before merging though.

[Pandapip1]

Re-mentioning editors that have not responded: @lightclient @gcolvin @axic

[Pandapip1]

It's been a week since there's been discussion on this. @MicahZoltu would you mind merging this for now? It can always be reverted.

[axic]

Can someone TLDR this entire convo for me? What is wrong with the greeter?

[gcolvin]

Can someone TLDR this entire convo for me? What is wrong with the greeter?

The only complaints I'm hearing is that it is verbose and redundant.

In which case make it less so, but even I find the reminders useful. What is right about the greeter for me is that it mentions me as an editor only for core EIPs. That makes it possible to get notifications for those PRs without being flooded with ERCs. Those mentions might also help authors know who to go hassle if their work isn't getting reviewed ;)

[Pandapip1]

Sorry for the confusion. This is specifically the @github-actions bot that comments on new issues reminding users to check out EIP-1 (this comment). This is redundant now that users are informed about the correct place to post things before creating an issue.

The @eth-bot PR greeter/auto merger is a totally separate system and is, indeed, extremely useful.

[lightclient]

This is okay with me. Will wait to see if there is any other feedback.

[MicahZoltu]

@axic There was a recent change to the issue creation flow that should (hopefully) serve the same purpose as the greeter bot but before the user creates the issue, rather than after. This PR proposes to remove the greeter since it is functionally redundant. If you want to see the new issue flow, just click the new issue button in GitHub.

[Pandapip1]

Bump.

[lightclient]

I think we can move forward with this as there has been no other feedback. @Pandapip1 or @MicahZoltu, I think if you approve it will automatically merge.