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

Add draft/no-implicit-names #527

Merged
merged 1 commit into from
Oct 10, 2023
Merged

Conversation

emersion
Copy link
Contributor

This has been deployed on soju and goguma.

See benchmarks in ircv3/ircv3-ideas#87 (comment).

Last week I was in the countryside with only 3G access and this was useful.

@glguy
Copy link

glguy commented Aug 14, 2023

Most of the bots I work on do not need a channel list; this would just make it quicker to join multiple channels

@progval
Copy link
Contributor

progval commented Aug 14, 2023

Added to Matrix2051: progval/matrix2051@5a92f46

Limnoria probably won't implement it despite always sending WHO after joining, because I worry about the side-effects of getting user lists delayed, especially in third-party plugins.

@slingamn
Copy link
Contributor

Merged in Ergo: ergochat/ergo#2083

@SadieCat
Copy link
Contributor

Seems reasonable to me.

@ValwareIRC
Copy link
Contributor

I've never made a bot which needed to know who was in the channel yet, this sounds like a good idea to me

@SadieCat
Copy link
Contributor

I've implemented this. It's available on the InspIRCd Testnet now.

Copy link

@jesopo jesopo left a comment

Choose a reason for hiding this comment

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

i do hope that in the future we'll have more generalised ways of expressing which bits of data a client wants, but in the meantime i have no opposition to this draft

@jwheare
Copy link
Member

jwheare commented Aug 24, 2023

Good to merge?

@jwheare jwheare merged commit f576e45 into ircv3:master Oct 10, 2023
@emersion emersion deleted the no-implicit-names branch November 27, 2023 12:49
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.

8 participants