https://bugzilla.wikimedia.org/show_bug.cgi?id=46144

--- Comment #14 from MZMcBride <[email protected]> ---
(In reply to comment #13)
> wikibugs appears to be in #mediawiki right now and is happily reporting bug
> updates...

This required me unquieting and unbanning the bot and Tim re-adding the bot to
the channel.

(In reply to comment #9)
> Moving it's easier said than done, since it's not puppetized properly, but
> that can be worked around.

It's pretty easy. You change "mediawiki" to something else (e.g.,
"mediawiki-feeds").

> Long term--wouldn't improvements to wm-bot be a good idea too?

Absolutely. In the short-to-medium term, STOP KICKING THE BOT ON A WHIM.

-- 
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

Reply via email to