Last modified: 2012-12-20 17:58:01 UTC
Please make gerrit-wm also report at #mediawiki changes to operations/mediawiki-config
(In reply to comment #0) > Please make gerrit-wm also report at #mediawiki changes to > operations/mediawiki-config That doesn't make sense. They're WMF changes, not MW changes. -tech or -dev maybe..
I agree. wikimedia-dev seems appropriate. * https://gerrit.wikimedia.org/r/gitweb?p=operations/puppet.git;a=blob;f=templates/gerrit/hookconfig.py.erb#l18 * https://gerrit.wikimedia.org/r/gitweb?p=operations/puppet.git;a=blob;f=manifests/gerrit.pp#l225
I think they should go to -operations.
They are already going to #wikimedia-operations, but that's not too useful if you're coding a change to the mediawiki config and looking at a different channel (eg. discussing the appropiate variable in #mediawiki).
Some channels quoted those last 10 days on several bots reporting discussions: 1. #mediawiki 2. #wikimedia-tech 3. #wikimedia-dev 4. #wikimedia-operations 5. #mediawiki-i18n 6. #wikimedia-codereview 7. #wikimedia-commits I sympathize with people having difficulties to switch from one channel to another.
(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 looking at a different > channel (eg. discussing the appropiate variable in #mediawiki). There's always chances that you'll be discussing something in a different channel than it's logged in. I think site config changes make more sense in -operations and the discussions are more likely to be going there than in #mediawiki. (In reply to comment #5) > Some channels quoted those last 10 days on several bots reporting discussions: > > 1. #mediawiki > 2. #wikimedia-tech > 3. #wikimedia-dev > 4. #wikimedia-operations > 5. #mediawiki-i18n > 6. #wikimedia-codereview > 7. #wikimedia-commits > > I sympathize with people having difficulties to switch from one channel to > another. The next to last channels doesn't exist, it's #mediawiki-codereview. The last channel doesn't seem to exist at all?
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 list) when what we need is just one centralized place to hash this out. Might I suggest: https://www.mediawiki.org/wiki/Git/IRC?
Removing ops keyword, anyone can make these changes in puppet once we've finished hashing it out on-wiki.
I'm going to mark this fixed. I think everyone's fine with the current logging. If we need to redirect any other logs out of #mediawiki, submit a change for puppet. (Also, this doesn't preclude moving all of the notifs out of #mediawiki and into #mediawiki-feed, but that's orthogonal to this bug)
