00:07 | <timdream> | Who is the channel op of irc #whatwg on libera.chat? Can we set a topic and ask people to come here instead? Is it customary/proper to readonly the irc channel too? |
02:27 | <ljharb> | nobody is, it’s unowned and can’t get an op unless everyone leaves |
10:42 | <acr> | they can transfer the ownership in libera.chat |
10:42 | <acr> | at least that seems from https://libera.chat/chanreg/ @ljharb:matrix.org ? |
10:43 | <acr> | as long as a representative of whatwg claims it, they should put the rep of whatwg as moderator |
11:13 | <acr> | this is what one of libera's mods said: "if the channel is opless we can op someone in the channel if everyone therein agrees, alternatively a project can claim a channel, which is another process." |
11:39 | <Domenic> | I don't believe anyone here has ever heard of that IRC channel, so I don't think anyone's going to step up to help with it. |