[01:33:59] Hey guys, I came over here from #wikipedia-en-helpers, wondering if the bot folks have their own IRC ch. [01:34:37] the bot folks? [01:40:00] Krenair: I was looking to see if I could help with some bot development and didn't know if they had their own channel or if I should keep it to noticeboards / village pump. [01:40:18] I don't think so [01:40:50] Krenair: No problem, thanks. [01:41:13] 17:42 -!- Irssi: Join to #wikimedia-bots was synced in 5 secs [01:41:19] but i didnt know :p [01:41:49] it's more like the bot channel is #wikimedia-labs i guess [01:42:14] there is also random stuff like #wikimedia-bot-gerrit :p [01:42:22] wasn't that one of the channels proposed for bots to spam into? [01:42:29] yea [01:42:37] for testing bot features [01:42:41] it wasn't for bot development discussion [01:43:36] yea, i dont know if there is such a thing [01:43:47] people just do bots and do it in different places [01:44:02] but they use -labs .. so [01:44:28] I can check out labs, that seems like a good home for it. [01:45:00] do it, yea [01:45:38] mutante: Krenair: Thanks guys, and feel free to visit us anytime ^_^ [10:38:26] Did someone break the ~~~~? https://en.wikivoyage.org/w/index.php?title=Wikivoyage%3ATravellers%27_pub&action=historysubmit&type=revision&diff=3107437&oldid=3107435 [10:39:12] Yes, me ^^ [11:18:31] Funny, I commented a thread on SourceForge and I got 3 "out of office" replies from people [11:21:32] All of them from Microsoft SMTP Server: 14, 15 and another one [16:52:22] Unexpected consequences of Special:UserRights links ;) https://phabricator.wikimedia.org/T154030#2899173