https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
Sam Reed (reedy) changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
--- Comment #10 from Sam Reed (reedy) 2012-05-09 21:42:12
UTC ---
Ok, now it's done
https://gerrit.wikimedia.org/r/gitweb?p=operations/mediawiki-config.git
Probably a few more items can be added to the repo in the near future (rather
than my
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
--- Comment #9 from Sam Reed (reedy) 2012-05-09 00:20:28
UTC ---
https://gerrit.wikimedia.org/r/gitweb?p=operations/mediawiki-config.git
Roan started this before, I brought it up to date today.
Hopefully should be moving over to using this r
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
--- Comment #8 from Chad H. 2011-12-06 12:46:00 UTC
---
As discussed on IRC yesterday, we should just move these files to git
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are receiving this mail be
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
Diederik van Liere changed:
What|Removed |Added
CC||dvanli...@gmail.com
--- Comment #
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
MZMcBride changed:
What|Removed |Added
Priority|Low |Normal
AssignedTo|wikibugs-l@lists
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
Reedy changed:
What|Removed |Added
Keywords|shell |ops
--
Configure bugmail: https://bugzilla.wi
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
Ariel T. Glenn changed:
What|Removed |Added
CC||ar...@wikimedia.org
--- Comment #6 fr
https://bugzilla.wikimedia.org/show_bug.cgi?id=17517
MZMcBride changed:
What|Removed |Added
Summary|Configuration files should |Wikimedia configuration