https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
Chad H. innocentkil...@gmail.com changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
Chad H. innocentkil...@gmail.com changed:
What|Removed |Added
Keywords|ops |
--- Comment #8
https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
--- Comment #6 from Chad H. innocentkil...@gmail.com 2012-06-25 13:23:10 UTC
---
(In reply to comment #4)
They are already going to #wikimedia-operations, but that's not too useful if
you're coding a change to the mediawiki config and
https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
--- Comment #7 from Chad H. innocentkil...@gmail.com 2012-06-25 13:36:39 UTC
---
Could we maybe take this single discussion on-wiki? I'm finding it impossible
to keep track of all of the IRC discussions in separate locations (here, the
mailing
https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
Sam Reed (reedy) s...@reedyboy.net changed:
What|Removed |Added
Keywords|shell |ops
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
Platonides platoni...@gmail.com changed:
What|Removed |Added
Summary|gerrit-rm messages for |gerrit-wm messages
https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
Dereckson dereck...@espace-win.org changed:
What|Removed |Added
CC|