I use a standard git checkout. Moving these to their own separate location is going to be a pain in the ass. If the skins are moved to the existing extension system it causes far fewer problems and does not introduce additional steps in upgrading/maintaining a site. When we start having sub repos and forking left and right it gets ugly. We already have an existing framework for adding modules to mediawiki (Extensions) let's use that vs re-inventing the wheel.
On Monday, July 28, 2014, Bartosz Dziewoński matma.rex@gmail.com wrote:
On Mon, 28 Jul 2014 22:59:40 +0200, John phoenixoverride@gmail.com wrote:
Why not just move them to an extension? moving them to their own repo begs
for a headaches
I don't understand the problem you see here nor the solution you're proposing. Elaborate?
-- Matma Rex
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l