https://bugzilla.wikimedia.org/show_bug.cgi?id=37866
Krinkle <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] Summary|Report |gerrit-rm messages for |operations/mediawiki-config |operations/mediawiki-config |at #mediawiki |.git to #wikimedia-dev --- Comment #2 from Krinkle <[email protected]> 2012-06-23 13:55:38 UTC --- 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 -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
