[17:28] Looks like we had the same idea :P [17:29] There's no -devel channel though, we'll probably want that. [17:29] ogra still has ops here. [17:34] hah ... a "crowd" [17:35] How to resurrect an IRC channel in one step. 1: Mention it to the community. 2: Profit. [17:35] *two steps [17:39] Chanserv isn't here. [17:39] Is ogra still able to op up then? [17:40] * arraybolt3 forgot the IRC command for checking that [17:41] * ogra always forgets the command to op himself 😛 [17:42] Chansevr - #edubuntu is not registered. [17:43] bah [17:43] why are the bots in here then ? [17:43] so i'm not able to op currently [17:46] So, it probably needs to be registered, which means we need to go to the IRCC. [17:46] yeah [20:51] ogra: We have ChanServ. [20:54] \o/ [20:55] whee [20:55] Eickmeyer: Sounds like you found the right people to talk to? [20:56] arraybolt3: Yeah, turns out Unit193 was smart enough to grab it during the move from Freenode. [20:56] Nice! [20:56] So, he just did a little bit of ACL magic. [20:57] Nice to have someone in Ubuntu development *and* IRCC *and* Libera.Chat staff around to help with stuff like that. [20:57] Yep.