tl/dr: irc://irc.libera.chat/wikimedia-search
As part of the wider wikimedia communities move from freenode to libera,
our channel has moved as well. We are taking advantage of the move to also
update our channel name to reflect the current team name and changed from
#wikimedia-discovery to #wikimedia-search.
Erik B.