https://bugzilla.wikimedia.org/show_bug.cgi?id=46144
--- Comment #9 from Chad H. <[email protected]> --- (In reply to comment #6) > (In reply to comment #5) > Lets move it into #mediawiki-feed or another channel then. It provides a > better > service than wm-bot does (comment 1), and people find it useful. If the > specific channel that it's in is a problem, move the bot, don't just kill it. Moving it's easier said than done, since it's not puppetized properly, but that can be worked around. Long term--wouldn't improvements to wm-bot be a good idea too? -- You are receiving this mail because: You are on the CC list for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
